A
По аналогии с мореплавателями в эпоху великих географических открытий
Size: a a a
2021 July 14
NR
Или по Вольфраму, мира возможных программ
RV
"Математика - царица наук, а теория чисел - царица математики."
RV
От себя:
Математика - это универсальный язык. Язык, на котором говорят все остальные науки и дисциплины.
Математика - это универсальный язык. Язык, на котором говорят все остальные науки и дисциплины.
СП
В физике все-таки важнее модель и эксперимент, а математическая модель больше подгонка под ее результат))
Oℕ
предлагаю не обсуждать хотя бы офтоп, есть чат, где автор сидит https://t.me/joinchat/2SBVAfhtQls1MWEy
SF
Математика — переписывание закорючек по правилам.
US
Гильберт в чате
🦉
Метод артикуляции и изучения формальных отношений, исторически в первую очередь отношений порядка (последовательности) и меры (количества).
s
Математика это abuse of notation.
DG
Странно, админ вроде попросил)
B
Спасибо за ответы
NI
Щас теория категорий - царица математики ;-) ;-)
Oℕ
2-царица наук
B
А кто царица теории категорий
NR
3-царица наук по видимости
Oℕ
Джейд Эденстар
NI
Возможно, что категорное будет удобно переформулировать через сети доказательств и сети взаимодействия.
Так же, пытаюсь сделать и n-вариант сетей взаимодействия.
Так же, пытаюсь сделать и n-вариант сетей взаимодействия.
B
Интерпретация Ламбека и категорная логика
NI
Близкое (в струнных диаграммах) вполне симпатично формулируется.