Tesi de Church-Turing: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: - contenir el univers està + contenir l'univers està |
m Corregit: - és què tan densa + és com de densa |
||
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 l'univers està acoblat al tipus d'univers en què vivim). A això se l'ha anomenat tesi de Church-Turing forta. Una altra possible interpretació és que l'univers no és una màquina de Turing, és a dir, les lleis de l'univers no són computables però això no afecta la possibilitat de crear una màquina més poderosa que una màquina de Turing (univers desacoblat al poder computacional dels dispositius que conté). Una altra possibilitat és que l'univers sigui una hipercomputadora i llavors sigui possible la construcció de màquines més poderoses que les màquines de Turing usant com a entrada els resultats d'aquesta súper ordinador: l'univers o la natura. Per a això possiblement n'hi hauria prou que l'univers fos continu i fes ús d'aquesta continuïtat (una altra pregunta és
== És falsa la tesi de Church-Turing? ==
| |||