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