{"answer":"Трезвые и пьяные.","author":"Иван Семушин (Москва)","batch_info":{"date":"12-Jun-2009","description":"\"Кубок ЛКИ - 2009\" (Москва)","filename":"lki09.json","url":"/znatoki/boris/reports/200906MoscowLKI.html"},"comment":"Для интуициониста математические истины \"в уме\", в то время как для\nформалиста они должны быть выражены на каком-то языке.","description":"При попытке охарактеризовать разницу между формалистами и\nинтуиционистами на семинаре по философии математики было сказано, что\nдля интуициониста математические истины ТАМ, а для формалиста - ТУТ. В\nболее известной фразе схожим образом характеризуются другие две\nкатегории людей. Мы не просим сказать, что мы заменили на ТАМ и ТУТ.\nНазовите эти две категории.","id":"Вопрос 9","next":317462,"num":135317,"redacted_by":"Андрей Ленский, Илья Иткин, Александра Брутер (Москва)","source":"Личные впечатления автора.","tour":"2 тур"}