Skip to Content

"Кубок ЛКИ - 2009" (Москва). 2 тур. Вопрос 9

Вопрос 9: При попытке охарактеризовать разницу между формалистами и интуиционистами на семинаре по философии математики было сказано, что для интуициониста математические истины ТАМ, а для формалиста — ТУТ. В более известной фразе схожим образом характеризуются другие две категории людей. Мы не просим сказать, что мы заменили на ТАМ и ТУТ. Назовите эти две категории.

Ответ: Трезвые и пьяные.

Комментарий: Для интуициониста математические истины "в уме", в то время как для формалиста они должны быть выражены на каком-то языке.

Источник(и): Личные впечатления автора.

Автор: Иван Семушин (Москва)

 !