Diskussion:These von Church

aus Wikipedia, der freien Enzyklopädie

Ich bin stark dafür intuitiv durch maschinell oder physikalisch zu ersetzen. Weil hier wird aus der Theorie (Mathematik) dann Praxis (Technik/Physik). Und Informatik ist halt nicht nur Mathematik.


"Es wird bezug genommen auf die Turingmaschine, die lange Zeit für das grundlegende Berechenbarkeitsmodell gehalten wurde." -- Die Formulierung legt nahe, daß die Turingmaschine nicht mehr für das grundlegende Berechenbarkeitsmodell gehalten wird. Dem ist aber meines Wissens nicht so. Wenn ein Informatiker etwas "berechenbar" nennt, meint er in aller Regel Turing-Berechenbarkeit.


Schau mal hier rein http://www.fi.muni.cz/usr/gruska/quantum/ --Marc van Woerkom 13:39, 7. Sep 2004 (CEST)


Dieser Artikel bezog sich auf die in einem anderen Artikel behandelte Church-Turing-These. Habe redirect eingefuegt und die guten Saetze in den anderen Artikel kopiert (die Definition hier war besser). Falls noch jemand etwas zu einer (anderen) These von Church schreiben moechte, bitte REDIRECT entfernen und link unter ==Siehe auch== einfuegen. --Dirk 20:50, 11. Okt 2004 (CEST)