Tio sxajnas simpla, sed Turingo pruvis ke tia masxino povas komputi ion ajn, kio estas komputebla. Fakte, cxiu ekzistanta komputilo estas esence tia masxino. La teknologio nur estas rimedo por rapidigi aux grandigi la komputadon. Diferenco de grado, ne de speco, ne de esenco, ne de ebleco. Laux materialistoj (ekzemple, Deneto), ecx la homa cerbo? estas masxino turinga. |
Tio sxajnas simpla, sed Turingo pruvis ke tia masxino povas komputi ion ajn, kio estas komputebla. Fakte, cxiu ekzistanta komputilo estas esence tia masxino. La teknologio nur estas rimedo por rapidigi aux grandigi la komputadon. Diferenco de grado, ne de speco, ne de esenco, ne de ebleco. Laux materialistoj (ekzemple, Daniel Dennett), ecx la homa cerbo? estas masxino turinga. |
En 1936, respondinte al la demando de Godelo pri tio, kion estas komputebla, li verkis De Nombroj Komputeblaj en kiu li priskribis modelon de la komputilo en formo la plej simpla, abstrakta kaj esenca -- la Universala Maŝino de Turingo.
La maŝino turinga konsistas el tri partoj:
Tio ŝajnas simpla, sed Turingo pruvis ke tia maŝino povas komputi ion ajn, kio estas komputebla. Fakte, ĉiu ekzistanta komputilo estas esence tia maŝino. La teknologio nur estas rimedo por rapidigi aŭ grandigi la komputadon. Diferenco de grado, ne de speco, ne de esenco, ne de ebleco. Laŭ materialistoj (ekzemple, Daniel Dennett), eĉ la homa cerbo? estas maŝino turinga.
Je 1950 en lia artikolo Komputaj maŝinoj kaj inteligenteco, Turingo proponis la Provaĵon de Turingo. Ĝi diras, ke maŝino estas tiel inteligenta kiel homo kiam homo kaj maŝino estas nedistingebla dum interparolado --ekzemple, ĉe babilejo en la Interreto. Nuntempe komputiloj povas sukcesi 25% da fojoj, sed plejparte per artifiko kaj bonŝanco. Unu tia programo? estas mgonz.lsp.