А вот у меня совсем другое, противоположное мнение. Вся академия - чисто элитарна в своей сути, а уж математика, чистая, - снобизм в квадрате. Начиная с Харди и французов-бурбакистов и заканчивая Вербицким.

Когда ты или Вербицкий говорите о "компетентности", у меня дёргается глаз. Это вот начинается с "двух культур", потом бесконечная дихотомия, и доходит до убивать-убивать-убивать, всех-кроме-меня.

Что есть "компетентность" в вашем понимании? Это освоение математического материала в объёме освоенного вами (замечательное "совпадение"). Этот объём, кроме возможности профессиональной математической деятельности, не даёт ничего, ни ума, ни культуры, ни гуманности, ни ответа на вопросы типа "зачем". Уж молчу про большую часть математики, которую вы считаете маргинальной, "непрофессиональной".

Этот "наш" автор, очевидно, некомпетентен в математике, в смысле не имеет объёма знаний математического факультета. Но, вообще то, конструктивизм и пр. не входит там в программу. И, вообще, он не на языке математики (в узком смысле) разговаривает, а на языке философии. Замечу, это философия говорит, какие аксиомы брать в основания, существует бесконечное или нет, а потом уже две разные математики получаются, "традиционная" и "финитная".

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

Постинг твой читал раньше, хотел прокомментировать, помнится, но передумал. С чем-то согласен, но большей частью, нет. Могу всё ещё высказаться, но тебе вот спорить некогда, а может и читать, а может, и думать над сказанным.

(Reply to this) (Parent) (Thread)

Судить то, в чем не очень понимаете, это по меньшей мере некрасиво.
То, что вы написали --- это и есть классическое "все взять и поделить", уж извините.
А так, вы же свободный человек!
Занимайтесь той математикой, которую считаете правильной.
С Новым годом!

(Reply to this) (Parent) (Thread)

Вот он, полез таки снобизм.

Вообще-то, я разбираюсь в университетском математическом образовании (не "алгебраической геометрии", а такой, по-вашему "отсталой" советской версии). И в формальных системах, вплоть до основ metamath. И коммент ab7a, например, мне ничего нового не сообщил.

Разница между нами, что я понимаю и математический текст, и философский, а ты, похоже, только математический. Получается, из нас двоих это ты судишь о том, в чём не очень понимаешь?

(Reply to this) (Parent) (Thread)

И коммент ab7a, например, мне ничего нового не сообщил.
Давайте, ну просто, чтобы развеять мои ни на чем не основанные сомнения, проведем маленький эксперимент на тему, близкую к упомянутому комментарию.
Вот довольно стандартная книжка для более-менее начинающих студентов в computer science, включающая темы близкие к тем, что обсуждал пользователь ab7a, уважаемый. Сколько вам нужно времени, чтобы быть готовым ответить на 3 простых вопроса (книжкой можно пользоваться невозбранно и неограничено)?

(Reply to this) (Parent) (Thread)

А что, теорию категорий уже добавили в обязательный университетский курс? И коммент его не о том был, а о формализации оснований математики, для чего теория категорий необязательна.

Но не буду привередничать, проведём эксперимент. Я понимаю, что раздражаю тебя, и тебе хочется меня втоптать в говно. И, может, даже и получится. Но тем не менее, мне нравится это упражнение.

Итак, книгу вижу в первый раз, в теории категорий я почти ноль. Времени у меня мало и досуг нечастый, но я по секундомеру подсчитаю часы и просуммирую потом. Первый вопрос в студию!

(Reply to this) (Parent) (Thread)

Я понимаю, что раздражаю тебя, и тебе хочется меня втоптать в говно.
Нет, вы меня не раздражаете и даже не удивляете и, как вы элегантно выразились, "втаптывать вас в говно" тоже никак не входило в мои планы. Никаких вопросов не будет. Все мои сомнения уже развеялись.

Успехов.

(Reply to this) (Parent) (Thread)

Вот это было очень некрасиво, Саша А.

(Reply to this) (Parent) (Thread)

Что именно?

(Reply to this) (Parent) (Thread)

Ты предложил эксперимент, выяснить сколько времени мне понадобится разобраться в математическом тексте, я согласился. Причём эксперимент чистый, текст мне незнакомый. А ты сразу пошёл на попятную.

Сомнения были в том, что я разбираюсь в университетской математике. Я так понимаю, "сомнения развеялись" в результате моего признания, что я не знаю теорию категорий?

Но теория категорий не являлась частью раньше и даже до сих пор не является обязательной частью традиционного математического образования (а не программы, которую Вербицкий придумал). Вот, поиск в гугле даёт программу МГУ мехмата, специальность "фундаментальная математика":
https://math.msu.ru/uplans
https://math.msu.ru/sites/default/files/matem_plan.pdf
Теории категорий в списке нет. Даже в списке спецкурсов её нет (хоть я и ожидал её увидеть там):
https://math.msu.ru/sites/default/files/oborotka_mat_2019_20.xls

(Reply to this) (Parent) (Thread)

Учимся читать:

Давайте, ну просто, чтобы развеять мои ни на чем не основанные сомнения, проведем маленький эксперимент на тему, близкую к упомянутому комментарию.

Все мои сомнения уже развеялись.

Вы очень заняты. У меня тоже есть, что делать.
Так, что было очень некрасиво?

Извините, но я не хочу больше тратить время на абсолютно бессмысленные разговоры. Найдите себе другого собеседника, пожалуйста.

Всех вам благ.

(Reply to this) (Parent) (Thread)

Ну и катись к хуям, говноед

(Reply to this) (Parent)

Если чо, это не я был, это друзья пришли, по ссылке.

(Reply to this) (Parent)