Wallis  » Galerie » Logické hádanky

Univerzální stroj pravdy - obtížnost 8.0 (původní obtížnost 8)
Profesor Zweistein přinesl na patentový úřad převratný vynález - univerzální stroj pravdy, který dokáže pro každé tvrzení správně určit, zda je pravdivé, nepravdivé nebo nerozhodnutelné. Například:
vstup: "1+1=2" výstup: "pravda"
vstup: "1+1=3" výstup: "nepravda"
vstup: "Toto tvrzení je nepravdivé" výstup: "nerozhodnutelné"
Na patentním úřadě ale seděl jeden bývalý matfyzák a tento patent mu zamítl. Našel totiž pravdivé tvrzení, o kterém stroj prohlásil, že je nepravdivé.
Jaké tvrzení to bylo?
Přidat řešení | Diskuze | Zpět
TIP: Budu rád, když mi k nevyřešeným hádankám budete posílat svá řešení. Nezapomeňte vždy uvést jméno hádanky a stručný popis, jak jste dospěli k řešení.