Kedves naadaam!

Furcsa dolog úgy vitatkozni, ha az ember szájába olyan kijelentéseket adnak, amiket nem mondott. Én egy szóval sem állítottam, hogy a megállási problémának köze van az ember számítógép viszonyhoz. Azt sem mondtam, hogy Mariska néni nem ember, mert nem tudja a Fermat sejtést bizonyítani. Egy példát adtam arra, amire az ember képes, a számítógép pedig nem. Nem azt mondtam, hogy minden ember képes erre, csak azt, hogy van olyan ember, nevezetesen Andrew Wiles.
Az általad adott programpéldával kapcsolatban is úgy tűnik teljesen félreértettél. Én is tudok olyan példákat mondani, ahol a megállás megállapítható. Egy üres program megállását megállapító program egy konstans igaz értéket visszadó program. Nem ez a lényeg, hanem az, hogy általában nem megoldható a dolog. Az, hogy a háromtest probléma bizonyos esetekben egzakt módon megoldható, nem jelenti azt, hogy van rá általános megoldás. A megállási problémában pontosan az általános megoldás hiánya a lényeg.