R
Что-то есть
Size: a a a
2020 October 09
KV
Сначала гпт отобрало работу у Рика Эстли, теперь отбирает у математиков
JC
у кого-нибудь из вас есть на работе ИНТЕРЕСНЫЕ ЗАДАЧИ?
Динамические опердени на эрланге. Достаточно интересная задача?
LO
Кожаные ублюдки не нужны
Динамические опердени на эрланге. Достаточно интересная задача?
нет
ХГ
Кожаные ублюдки не нужны
Нужны кожаные флейты!
AG
ну логично, на метамате только нейросетками и писать
AG
это ж прувер поверх теории множеств, т.е. хрень похуже ассемблера
AG
вот например простейший пруф на нем: http://us.metamath.org/ileuni/nn0suc.html
R
Хуже только какой-нибуть пролог
R
Сразу голова заболела
AG
пролог я думаю много лучше
AG
Академик
а вот и нет, заведение академическое, а должность нет :)
AG
я думаю в испании поболе 20т евро в год в нии платят
в 2.5 раза поболе
KV
Хуже только какой-нибуть пролог
В прологе оно хоть само выводит
AG
марихуана логично приводит к героину
вообще кстати у алгебраистов есть свой аналог разделения на "теорию А и Б", называется "алгебра 1 и 2"
AG
первое это Гильберт, Нётер, ван дер Варден, всякая алгебраическая геометрия и гомологии
AG
второе это Буль, Грассман и соответственно булевы и внешние алгебры, условно говоря алгебраическая комбинаторика
AG
и как в случае с информатикой, приверженцы "алгебры 1" предоставлены везде сильнее