а что вот делать с этой такой тёмной мякоткой-писечкой математической интуиции? ведь она всегда рядом, когда думаешь либо о самых простых понятиях, аксиомах, либо когда решаешь сложную задачу - происходят как бы полускрытые процессы, кусочки непросредственного пре-формального понимания.
ну как бы же есть в голове у человека какие-то пре-концепты, базовые и интуиции о пространстве, изменении и порядке например, ну или численная интуиция, хотя это наверное тоже фундаментально интуиция о порядке. то есть об этом Кант пиздел, но мне кажется как раз при занятиях математикой и понимаешь о чём он таки пиздел; конечно эта интуиция часто ложная и без формального языка не обойтись, но она как маяк в каком-то смысле, нет?

(Reply to this) (Parent) (Thread)

Да, хорошим вопросом было бы не как определить что такое множество, а объяснить почему такое-то определение соответствует интуиции.

Понятно, что вопрос о мотивации тех или иных математических решений он намного сложней и интересней, и просто так формально решен быть не может.

(Reply to this) (Parent)