Ja sam na osnovu tvog pisanja razumeo svasta nesto. Gedelove teoreme i Tjuringovog problema zaustavljanja se, po pravilu, hvataju kvazi-intelektualci. Pa opet nisam izneo sta je to svasta nesto. A nisam ni prestao da pricam s tobom.
Makso, Gedelova teorema ne glasi "Algoritam ne moze da pravi nove algoritme". Takodje ne glasi "Ljudski um nije algoritam". A ne glasi ni "Ljudski um ne sledi algoritam". Kako ona glasi? I je l zaista toliko vazno da se ona pominje? Ili je to samo nacin da nepotrebno zakomplikujes raspravu kako bi sakrio da nemas nikakav dokaz?
Isto vazi i za Tjuringov halting problem.
Zasto ne krenes od glavne teze? Zasto se odmah hvatas sitnih crevaca?
Je l ja negiram neresivost halting problema? Je l negiram Gedelovu teoremu? Odakle ti ta ideja?