Mentionsy

I tam jest taka teza, do której może po prostu się odniesiesz, a potem siłą rzeczy pójdziemy do Gedla i do Penrose'a, że

On miał intencję, żeby rozwiązać problem Gedla, to znaczy, żeby zbudować system, który będzie spełniał założenia Gedla, a który jednocześnie

Bo to jest dokładnie w interpretacji Penrose'a twierdzenie Gedla, że my potrafimy rozpoznać prawdziwość pewnych twierdzeń, nie potrafimy obalić tych twierdzeń, ale jednocześnie potrafimy ich policzyć.

To może zaczniemy od Gedla.

twierdzenie Gedla, arcydzieło i jedno z najważniejszych twierdzeń w historii ludzkości w ogóle.

Wracając do Gedla.

Penrose skupia się na naj... To arcydzieło Gedla, ono jest arcydziełem z wielu powodów.

To jest właśnie, to jest ten finalny, finałowy krok w dowodzie twierdzenia niezupełności Gedla.

Po pierwsze, istnieje zautomatyzowany dowód twierdzenia Gedla, Paulson, 21 rok, Nature, proszę bardzo.

Ale drugi argument jest jeszcze taki, że spójrzmy, co tak naprawdę mówi twierdzenie Gedla.

Twierdzenie Gedla mówi, że

To znaczy, że po pierwsze jest ten argument, że maszyna generująca, można zautomatyzować produkcję twierdzenia Gedla.

Sama maszyna, która oblicza twierdzenie Gedla nie ma tej metaperspektywy, którą ma interpretator, który też może być maszyną, który posiada semantykę jakąś.

No to skonstruujemy pewną maszynę, która będzie oczywiście podlegała ograniczeniom twierdzenia Gedla.

To znaczy tak, przede wszystkim, podkreślmy, bo też jest twierdzenie Gedla, pewnie jest w top pięć nadużywanych twierdzeń w historii ludzkości.