Citat:
Booxxter: Neverovatno je da uopste pises tako, ocekivajuci da na ovom forumu nema nijednog profesionalca iz oblasti CS, koji nece procitati to sto si napisao.
A ko je taj profesionalac? Ti? Vidim, navodiš titule ljudi na koje se pozivaš, a koje ne razumeš, ali hajde, pusti njih, oni su to što jesu, nego koji si ti moj? Nikada nisi položio ni osnovni kurs logike, o matematici nemaš blage veze, nemaš univerzitetsko obrazovanje niizčega - to se sve vidi iz svega što lupetaš.
Citat:
Booxxter: It is also an open question whether any such unknown physical processes are involved in the working of the human brain, and whether humans can solve the halting problem.
Prilično je izvesno, ali ne i 100% dokazano, da od toga nema ništa.
Razlika između čoveka i mašine koju je čovek napravio je u tome što je ta mašina nastala direktnim dejstvom čoveka, pa su principi na kojima počiva njen rad ograničeni ljudskim znanjem jer se mora zasnivati na poznatim fizičkim teorijama, što nije slučaj sa mozgom koji nije nastao delovanjem čoveka.
Međutim, standardni model jako dobro opisuje atomsku fiziku, molekule, sile između njih, električne sile itd, što je najverovatnije sve što je potrebno za rad mozga, bez obzira što tačni procesi nisu poznati. U tom slučaju, pošto su zakoni SM Tjuring izračunljivi, svaka pouzdana mašina, makar ona bila ljudski mozak, a čiji se rad temelji na tim zakonima, je ograničena Tjuring izračunljivošću.
No, to su spekulacije, a ono što se mnogo direktnije opaža je da su ljudi u praksi mnooogo gluplji od onoga što je potrebno za rešavanje problema zaustavljanja.
OK, to i dalje nije definitivno razrešeno i i dalje ne dovodi u vezu Tjuringov test sa problemom zaustavljanja, jer je ovde za problem zaustavljanja bitno jedino da nije Tjuring rešiv. Mogao se ravnopravno izabrati i bilo koji drugi Tjuring nerešiv problem.
Nije bitno koji su zaključci izvučeni, već kako se do njih došlo.