Поскольку вопрос сложный, мы хотели вам подсказать, но не станем этого делать, чтобы АЖ не нашло противоречий в тексте вопроса и не сняло его. Назовите задуманного нами человека.


[Курт Фридрих] Гёдель.



Комментарии: Согласно теореме Гёделя о неполноте, начиная с определенного уровня сложности всякая система математических аксиом либо внутренне противоречива, либо неполна. Вот и наш вопрос получался или неполным, или противоречивым. Мы выбрали неполноту.
Редактор и автор благодарят за тестирование вопросов и ценные замечания Виталия Бреева, Ирину Зубкову, Ваана Калайджяна, Александра Камаева, Илону Косенко, Александра Круглова, Сергея Крупника, Александра Маничева, Александра Мерзликина, Наталью Митяеву, Николая Порцеля, Андрея Скиренко, Дмитрия Слободянюка, Дмитрия Слоуща, Сергея Терентьева, Анастасию Шутову, а также команды "Хомяки" (Белгород), "ППП" (Воронеж), "Donkey Hot" (Львов), "Integro" (Москва), "Выпь" (Ростов-на-Дону), "Мистерия" (Ташкент) и "Top Secret" (Уфа).

Автор: Георгий Арабули (Москва)

Источник: 1. http://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_theorems 2. Загадка автора вопроса.

Чемпионат: Фестиваль "Sapere aude", посвященный 25-летию клуба "ЧГК на Физтехе"

Тур: 4 тур. Тур Георгия Арабули

Номер: Вопрос 13


Показать как json