• errorista
    #206
    nem terkepezhetsz fel egy, a felterkepezeskor valtozo rendszert. ha tehetnel igy. muszaj lenne ellenmondasra jutni, peldaul az olyan konyv, ami az onmagukat nem tartalmazo konyvakat katalogizalja. ( vagy az onmaguknak nem eleme halmazok )
    ilyen konyv nem letezhet mert sajat maga valtozna terkepezes kozben es a konyv valtozasakor valtozna a felterkepezendo terulet. ugyanezert nem lehetseges a te peldad is, azt hiszem.

    persze valamilyen szinten hasonlit az ervelesed az atlos metszesre, amivel turing latta be a godel-turing tetelt arrol hogy nincs mindent megoldo algoritmus ( allitolag turing ezt ugy ertelmezte hogy nem lehetseges MI-t letrehozni es az emberi tudat tobb mint elagazasok osszege

    ezt meg meg kell fontolnom, mindenesetre nagyon tetszik ( csak sajnos azzal nem intezhetem el hogy hasonlit egy masik problemara )