Pytania otagowane jako church-turing-thesis

7
Możliwość zastosowania tezy Church-Turinga do interaktywnych modeli obliczeniowych
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 rzeczywistości dotyczy on tylko obliczeń funkcji, które …
3
Rozszerzona teza kościelna
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 pytanie dotyczy rozszerzonej tezy …
1
Historyczna relacja między wpisaną metodą Lambda Calculus a Lisp?
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 typ rachunku Lambda, aby ograniczyć nieporozumienia dotyczące rachunku Lambda. …
2
Związek twierdzeń o niekompletności Gödla z tezą Kościoła Turinga
To może być naiwne pytanie, ale proszę bardzo. (Edycja - nie ma głosów pozytywnych, ale nikt też nie odpowiedział; być może pytanie jest trudniejsze, niejasne lub niejasne, niż myślałem?) Pierwsze twierdzenie Gödela o niekompletności można udowodnić jako następstwo nierozstrzygalności problemu zatrzymania (np. Sipser Ch. 6; post na blogu Scotta Aaronsona …
Korzystając z naszej strony potwierdzasz, że przeczytałeś(-aś) i rozumiesz nasze zasady używania plików cookie i zasady ochrony prywatności.
Licensed under cc by-sa 3.0 with attribution required.