Два племені Якщо В Океані Дедукції розташований логічний остр | Мала академія наук України

Два племені Якщо

В Океані Дедукції розташований логічний острів Якщо. Народжені тут люди належать до одного з двох племен: алефіанців і псевдів. Єдиний спосіб відрізнити алефіанця від псевда — це поговорити з ним. Алефіанці завжди говорять правду, а псевди завжди брешуть

Володар алефіанців має Головну книгу, у якій записані імена всіх людей, народжених на острові, із позначками про приналежність до якогось із племен. Інформація в цій книзі правдива та доступна для всіх, хто її попросить

Одного разу на острів Якщо прибув дослідник. Він зустрічав різних острів’ян і визначив за допомогою різноманітних запитань, хто є алефіанцем, а хто — псевдом.

І ось він зустрів чоловіка на ім’я Курт. Дослідник не знав, до якого племені той належить. Перш ніж він встиг запитати його про щось, Курт сказав: «Ви ніколи не матимете прямих доказів, що я алефіанець»

1. Курт — алефіанець чи псевд?
2. Як це пов’язано з теоремою Ґьоделя про неповноту?