Tesi de Church-Turing: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: exemple. No obstant això, res > exemple. Tanmateix, res |
m Corregit: - contenir el univers està + contenir l'univers està |
||
Línia 48:
De fet, la tesi de Church-Turing ha estat tan reeixida que la majoria la suposa veritable. Els termes derivats d'ella, com a mètode efectiu i computable són comunament utilitzats, quan en realitat computable fa a Turing-computable, en el salt entre un i altre hi ha la tesi de Church, i entre molts altres conceptes i termes comunament utilitzats en la teoria de la computabilitat o funcions recursives.
La tesi de Church-Turing té a més profundes implicacions. Quan la tesi és aplicada a la física té diversos significats: que l'univers és una màquina de Turing i per tant no és possible construir físicament una màquina amb més poder computacional o que computi funcions no recursives (la capacitat de còmput que pot contenir
== És falsa la tesi de Church-Turing? ==
|