Paul Wegner und Dina Goldin veröffentlichen seit über einem Jahrzehnt Artikel und Bücher und argumentieren in erster Linie, dass die These von Church-Turing in der CS-Theory-Community und anderswo häufig falsch dargestellt wird. Das heißt, es wird so dargestellt, dass es alle Berechnungen umfasst,...
Eine der am häufigsten diskutierten Fragen auf der Website war, was es bedeuten würde, die kirchentürmende These zu widerlegen . Dies liegt zum Teil daran, dass Dershowitz und Gurevich 2008 einen Beweis für die kirchliche These veröffentlicht haben, dass es sich um das Bulletin of Symbolic Logic...
Ich hatte kürzlich eine Diskussion mit einem Freund (der sich für stark typisierte Sprachen einsetzt). Er machte den Kommentar: Die Erfinder von Lambda Calculus haben immer beabsichtigt, es zu tippen. Jetzt können wir sehen, dass Church mit dem einfach getippten Lambda-Kalkül in Verbindung gebracht...
Mein Verständnis der Church-Turing-These ist: Es begrenzt, was durch einen diskreten und endlichen Prozess berechnet werden kann . Obwohl dies immer noch eine These und kein Theorem ist, würde dies, wenn es widerlegt würde, nicht nur eine Aktualisierung unserer aktuellen Berechnungsmodelle...