Моя домашняя страница | My Math News | Моя математическая страница | Подарите леньги математику

Программа для математики 21 века - замена аксиоматического метода

В свзи с тем, что я открыл новый математический метод, заменяющий аксиоматический метод 20-ого века (Я назвал новый метод Математический метод 21-ого века^TM или 21ММ. Это дефиницональный метод, как во времена Сократа), я предлагаю новую программу развития математики в 21 веке:

Исследовать имеющие отношение к 21ММ области логики и отношения между 21ММ и старой (аксиоматической и преаксиоматической) математикой.
Переписать, преобразуя и обобщая, старую аксиоматическую и преаксиоматическую математику в формальной системе 21ММ.
Исследовать алгебраическую общую топологию (см. здесь) и связаные области математики как возможно первый нетривиальный пример применения 21ММ.
Создать програмное обеспечение (системы автоматического доказательства, алгебраические системы, решатели задач и т.п.), основанное на 21ММ.
Расширять и совершенствовать ме тод 21ММ.
Исследовать как 21ММ связан с теорией категорий.

21ММ - реальное осуществление программы алгебраизации математики в наше время (Хотя, отдельные теории, такие как общая топология, еще только нужно алгебраически сформулировать в 21ММ).

Примечание: эта программа не имеет отношения к конкретным проблемам, таким как проблемы Гильберта. Я надеюсь, что таковые будут решены по ходу исследований по моей программе.

Хватит ли этого на весь 21 век? Я не знаю.

Моя домашняя страница | My Math News | Моя математическая страница | Подарите леньги математику