• kukacos
    #57
    Az önmaguk listáját kinyomtató program miért érdekesek? Bármelyik szövegszerkesztő képes kinyomtatni a saját kódját. Gödel mint saját magára hivatkozó formális állítás rendben, de a "saját magát idéző képlet"-et sem igazán értem... (rekurzív bizonyításokra gondolsz, mint mondjuk a teljes indukció?)