--- сепульки, "множества" и труляляшки не вплетены естественным способом в человеческие рассуждения. Это придуманные штуки, которые, впрочем, имеют свои мнения по разным осмысленным арифметическим вопросам.

--- Нет, если ты о том, что Бурбаки сели и записали как какие-то теоремы следуют из каких-то аксиом, то я с тобой согласен - молодцы. Не первые, не вторые, но основательно постарались. Критикуют их за то КАК они это сделали (например статья Матиаса про количество символов, участвующих в ИХ опеделении числа 1) и за то, во что они при этом публично верили (верварские примитивные верования: Солнце ходит кругами над землей, а земля плоская и т. п.).

--- я не согласен, что математика лишь строит модели в науках. Математика отвечает на всякие математические вопросы, например про простые числа. На "большинство" вопросов невозможно ответить, используя PA или ATR_0, а у сильных теорий - разноголосица.

(Reply to this) (Parent)