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ó?)