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