» גלריה » חידות לוגיות

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?