260
Занимательная задачка по мотивам теоремы Гёделя о неполноте
В 1931 году австрийский логик, математик и философ математики Курт Гёдель опубликовал свою теорему о неполноте. Эта работа считается одним из величайших интеллектуальных достижений современности.
Технические детали теоремы тяжело описать простыми словами. Но американский логик Рэймонд Смальян придумал отличный способ передать дух неполноты через логические загадки о людях, говорящих правду или лгущих. Сегодняшняя загадка вдохновлена его трудами.