Целостное и непротиворечивое представление всей математики

[Евгений Машеров]

Stratim в сообщении #1666735 писал(а):

никто заслуг Перельмана не умаляет.

Stratim в сообщении #1666715 писал(а):

Перельман все оформил и опубликовал, честь ему и хвала, но идею решения он у кого-то взял.

Распад логики или амнезия?

[Stratim]

Евгений Машеров

Это не очень точная формулировка. Хотя в контексте дискуссии понятно, о чем идёт речь. Встречал статью, где такая гипотеза объясняла поведения Перельмана. То есть не математику, а его поведение, это все же разные вещи.

Давайте оставим Перельмана в покое, он к нашей теме не имеет отношения.

[mihaild]

Stratim в сообщении #1666750 писал(а):

Давайте оставим этот вопрос

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

[Stratim]

Появилась на форуме тема "Дискретная математика". Что-то оттуда добыл для нашей классификации, то есть расшифровки понятия "Дискретная математика":

1. Графы
2. Теория алгоритмов
3. Формальные системы (исчисления)
4. Автоматы
5. Экстремальные задачи и перебор

Может кто-то уточнить список?. Приведенный перечень из оглавления книги с названием "Дискретная математика".

Сети вроде рассматриваются отдельно от графов и они вроде как тоже должны здесь быть?

[drzewo]

StepV в сообщении #1666738 писал(а):

Вот наш диалог о том,

я с Вами в диалог не вступал, Вы что-то путаете.

[dgwuqtj]

Stratim в сообщении #1666753 писал(а):

Может кто-то уточнить список?

Теория игр, теория упорядоченных множеств, математическая логика (или она у вас в основаниях? почему тогда формальные системы тут?), теория множеств, теория типов, комбинаторика, теория матроидов, теория булевых функций, теория вычислимости, теория сложности вычислений... Да та же арифметика, не в теорию чисел же её пихать.

[Stratim]

dgwuqtj

Математическая логика однозначно в Основаниях.

Я привел список как часть названий глав учебника, то есть как зачин для более полного списка.

Теория типов наверное да. Сами формулировки списка надо уточнить ещё. Вы не ответили по поводу сетей, их отдельно от графов рассматривают или как?

-- 23.12.2024, 14:35 --

Теория игр наверное тоже да.

-- 23.12.2024, 14:37 --

Арифметику вроде всегда в алгебру включали. Судя по видео, что раньше приводил, так там это однозначно отмечено.

[dgwuqtj]

Арифметику в алгебру включать не надо, а то так вы откроете школьный учебник за 10 класс и засунете в алгебру дифференциальное исчисление. Это либо основания, либо дискретная математика, либо теория чисел, на выбор. Причём теория чисел меньше всего подходит.

А что вы называете сетями?

Ещё странно в основания запихивать всякую там линейную логику или логику высших порядков, уж они к вопросам формализации математики не очень относятся.

[Stratim]

dgwuqtj

Это не я арифметику туда отправил, а преподаватель из МГУ, что излагает классификацию в видео.

Сети... например, сети Петри. Сейчас в логистике сетевые графики очень распространены. Но я совсем не в курсе как это в математике представлено, поэтому и спрашиваю.

[dgwuqtj]

Думается мне, этот преподаватель не очень в курсе, что такое алгебра.

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

[Stratim]

Раздела "прочее" в нашей классификации не будет. Иначе это будет не классификация, а филькина грамота.

Утром проснулся, вспомнил вчерашнюю дискуссию и нерешенный вопрос 9. пункта классификации. Задаю вопрос Мирозданию. И получаю рекомендацию - 9. Нечёткая математика.

Что скажете? Явно выпадает из предыдущих пунктов своими базовыми смыслами. И очень актуальна сегодня в ИИ, квантовой физике, в том числе квантовых вычислениях и т.д.

Куда современные математики этот раздел относят?

[dgwuqtj]

Stratim в сообщении #1666772 писал(а):

Куда современные математики этот раздел относят?

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

[Stratim]

dgwuqtj

Собственно вопрос был - есть ли в математике вообще такой раздел как "сети" или это всего лишь часть чего-то другого?

-- 23.12.2024, 15:11 --

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

[Anton_Peplov]

Stratim в сообщении #1666775 писал(а):

Собственно вопрос был - есть ли в математике вообще такой раздел как "сети" или это всего лишь часть чего-то другого?

В математике есть раздел "Теория графов". То, что обычно называют сетями, на самом деле является графами.

[dgwuqtj]

Stratim в сообщении #1666775 писал(а):

Собственно вопрос был - есть ли в математике вообще такой раздел как "сети" или это всего лишь часть чего-то другого?

Я вопрос не понял. Есть ли такой раздел в, скажем, МПК? Так проверьте, классификация в открытом доступе. Есть ли в каком-то сообществе математиков такое понятие? Без понятия, это надо искать узких специалистов из конкретного сообщества. Есть ли статьи с таким термином? Ну наверняка есть, переведите и поищите в arXiv. Только там этим словом разные вещи могут называть (да, вы не верите в омонимы, но они объективно существуют), а ещё это зависит от того, как именно переведёте. И с вашим пониманием слова "сети" (если оно есть) эти статьи могут не совпасть.