Razgovor:Turingov stroj

Revizija članka

U verziji 20:22, 26. ožujak 2008, članak sadrži značajne netočnosti.

• Slika uz članak naslovnice nije slika Turingova stroja, već slika Bombe uređaja, elektromehaničkog uređaja koji je korišten u II. svjetskom ratu za kriptoanalizu poruka šifriranih njemačkim Enigma strojem ([1]). Autor Bombe uređaja je bio Alan Turing, no sam uređaj nema nikakve veze s Turingovim strojem, matematičkim modelom računskog stroja. Stoga, sliku sam uklonio.
• Uvodni tekst članka izriče previše snažnu tvrdnju. Mogućnosti Turngova stroja su ekvivalentne mogućnostima računalima temeljenim na trenutno dostupnoj tehnologiji (što se može matematički dokazati), tvrdnja da se strojem može simulirati bilo rad bilo kojeg računala koje će ikad biti konstruirano nije dokaziva.
• Turingov stroj i Church-Turingova hipoteza se odnose na pitanje na pitanje izračunljivosti. Iako se engleski izraz effective može prevesti kao efektivno (djelotvorno), razlika značenja hrvatskih izraza djelotvorno i učinkovito (kao prijevoda effective i efficient) nije dovoljno izražena i može izazivati nedoumice. Izraz effectively computable, koristi se u engleskom jeziku kao neformalna definicija razreda funkcija za koje Church-Turingova hipoteza tvrdi da su rekurzivne funkcije. U hrvatskoj literaturi, izraz izračunljivost je dobro prihvaćen dok doslovan prijevod s engleskog "efektivno izračunljiv" smatram nejasnim (pitanje efikasne izračunljivosti je druga vrsta problema, a razlika između efektivne izračunljivosti i efikasne izračunljivosti nije dovoljno izražena u hrvatskom jeziku). Zbog toga, pojam "efektivno izračunljiv" zamijenjen je pojmom "izračunljiv".

Budući da je članak iznimno sažet, u idućih nekoliko dana, potrudit ću se nadopuniti članak. --Node (razgovor) 07:11, 22. lipanj 2008. (CEST)