Пока что нет.
Но все идет к тому, что станет.

(Reply to this) (Thread)

или наоборот комбинаторика выделится из математики и
вольется в computer science
сейчас там обе тенденции налицо

вот lemma szemeredi это математика?
комбинаторика? computer science?
по факту - computer science именно что
https://en.wikipedia.org/wiki/Szemer%C3%A9di_regularity_lemma
вот тут по ссылкам характерно - 4/5 журналов
computer science сугубо

(Reply to this) (Parent)

То есть теоретическая информатика пока не является математикой, но станет ею? Я правильно вас понял?

(Reply to this) (Parent) (Thread)

ты вот на что обрати внимание:
программирование из "детского лепета" постепенно превращается
в трудное и серьезное дело, сопоставимое с продуцированием математики
на харвардский экспорт.
и виноват в этом лично "Яврей Эйнштейн", который волюнтаристским решением ограничил скорость света. Жорес Алферов пытался нас всех спасти фотовольтоникой, но его скорее всего убрали "Тайные Операторы". Да они и сейчас в Фифе лютуют со своей "канадской культурологией".

(Reply to this) (Parent) (Thread)

все зависит от того, что понимать под программированием)

Если веб-программирование, то тут ничего особого концептуального нет. Нужно изуучить определенный набор технологий и туеву хучу фреймворков.

Да, это трудно, занимает много времени. Но с "продуцированием математики" ничего общего и близко не имеет.

(Reply to this) (Parent) (Thread)

>Если веб-программирование, то тут ничего особого концептуального нет.

не-а. как раз вебпрограммирование это "оно и есть" чисто (нечисто) функциональная модель, отсутствие типов и "интересные странности"
параллельного программирования. полнейший "Seyn und Daseyn"

фреймворки обычно все требуют допиливания в лучшем случае на js,
а в обычном случае на сраной php-шечке. например, я не так давно ебашил сервер для моб. приложения на php и клиента на java. вот там вот єти вот все асинхронные вызовы, анонимные функции, лямбда.

Но с "продуцированием математики" ничего общего и близко не имеет.
ну как минимум с Теорией множеств (с топологией блядской) есть. и даже наверное как максимум.
поскольку изобретение разных пространств и систем отсчета сродни изобретению хитровыдуманных контейнеров. Я разрабатываю teml например
tensor matrix library. и на ее основе процедурные всякие миксеры карт
с поднятыми и опущенными тензорами и красивыми смешениями текстурных карт. В конечном счете модуль генерирования материалов в 3Д макс или UE4

(Reply to this) (Parent) (Thread)

Интересная формулировка) Если что, найди в сети книгу "Топология без слез")

Лично меня она сейчас выручает, когда нужно готовиться к экзамену по "Дифференциальной геометрии и топологии".

Предметы, конечно разные, но в нашей программе они идут в одном флаконе))

(Reply to this) (Parent) (Thread)

сейчас посмотрю.

(Reply to this) (Parent) (Thread)

Вот сайт автора. Есть версия на русском языке. Качай ее.
http://www.topologywithouttears.net/

(Reply to this) (Parent) (Thread)

кроме может быть последних двух глав
это точно первая четверть первого тома Лорана Шварца
судя по оглавлению

(Reply to this) (Parent)

скачал
Моррис С.А. - Топология без слез (2010).pdf

410 страниц
вроде прикольно
хоть вспомнил чтио такое база топологии

я читаю сейчас, вот это вот

Галовиц Яцек - C++17 STL. Стандартная библиотека шаблонов (Библиотека программиста) - 2018.pdf

по совету dolmatt

(Reply to this) (Parent)