Pytania oznaczone «church-turing-thesis»

Paul Wegner i Dina Goldin od ponad dekady publikują artykuły i książki, argumentując przede wszystkim, że teza o Kościele Turinga jest często fałszywie przedstawiana w społeczności CS Teorii i gdzie indziej. Oznacza to, że jest prezentowany jako obejmujący wszystkie obliczenia, podczas gdy w...

Jednym z najczęściej dyskutowanych pytań na stronie było to, co oznaczałoby obalenie tezy Kościoła . Wynika to częściowo z faktu, że Dershowitz i Gurevich opublikowali w 2008 r. Dowód, że teza Kościoła to Biuletyn Symboliki Logicznej. - bezwstydna autopromocja - napisałem wpis na blogu ). To...

Niedawno rozmawiałem z przyjacielem (który jest zwolennikiem silnie pisanych języków). Skomentował: Wynalazcy Lambda Calculus zawsze zamierzali go pisać na maszynie. Teraz widzimy, że Kościół był związany z tym po prostu wpisane rachunek lambda . Rzeczywiście wydaje się, że wyjaśnił on prosty...