​Ми впевнені, що кожен і кожна впоралися із задачею. Лови відп | Мала академія наук України

​Ми впевнені, що кожен і кожна впоралися із задачею. Лови відповіді та звіряй зі своїми!

1) Курт не є ані алефіанецем, ані псевдом.

Чому не псевд?
Якщо він був би псевдом, твердження «Ви ніколи не матимете прямих доказів, що я алефіанець» мало би бути брехнею. Проте уявімо одну з багатьох можливих ситуацій, коли під час розмови Курта з дослідником Головна книга згорає дотла. Тоді те, що сказав Курт, виявиться правдою. А псевди ж ніколи не говорять правду, пам’ятаєш? Отож, Курт може не бути псевдом.

Чому не алефіанець?
Якщо Курт був би алефіанцем, то все, що він говорить, а отже і фраза «Ви ніколи не матимете прямих доказів, що я алефіанець», є правдою. Але може виникнути ситуація, коли дослідник таки прочитає Головну книгу, знайде ім’я Курта та перевірить, чи він алефіанець. Отже, чоловік може не бути алефіанцем.

2. Ми не маємо чітких підтверджень ані правдивості, ані хибності сказаного Куртом. Його фраза є самовідносним твердженням, що є основою доказу теореми Ґьоделя про неповноту. У формальній арифметиці твердження «Це речення неможливо довести» є істинним і формально недовідним