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