Организация математики

stm7535571

Возникла следующая идея.
Очевидны трудности, связанные с современной организацией математики:
1. Огромные проблемы с поиском информации.
2. Закрытость и недоступность результатов.
3. Раздробленность результатов.
4. Невозможность машинного анализа данных.
Современный уровень автоматизации приносит результаты в других областях
деятельности, в то же время в математике компьютеры применяются в
большинстве случаев только для проведения экспериментов, но не для
организации полученной информации. В некоторой мере организованности
математики мешает уровень современных ученых, не знакомых с
возможностями компьютеров, инерционный характер мышления. Но, как мне
кажется, эти трудности можно преодолеть.
Хотелось бы создать систему знаний, способную вместить современную науку и
помочь её развитию. Основные признаки данной системы:
1. Единое представление знаний (единые данные).
2. Контроль версий знаний - полное сохранение истории изменений (CVS-subversion ?)
3. Единый юридический статус - свободная лицензия и доступность (GFDL?)
4. Открытость системы - возможность обсуждать и вносить изменения в её части.
5. Широкие возможности поиска и разметки информации (метаданные).
По способу представления знаний можно сказать следующее:
1. Должны храниться описания объектов и их свойств.
2. Модульность. Должны быть определены части системы и стандартизованы
связи между ними. В идеале, некоторые части могут быть
взаимозаменяемыми.
3. Доказательства свойств объектов могут храниться в текстовом виде
(обычная статья изменяться и улучшаться. В то же время, должны
выделяться методы доказательств (используемые объекты и свойства,
например, метод сжимающих отображений.)
4. Хотя на данных момент не требуется возможность автоматической
проверки доказательств, в будущем такая возможность может
подразумеваться.
Конечно, такая система не будет лишена недостатков, например, разработка
открытых программ строится по примерно такой-же модели, и проблем там
достаточно. Но, как мне кажется, преимуществ будет больше.
Начать можно с простейших вещей, например, теория множеств +
классический анализ + классическая алгебра. Может быть, кто-нибудь
встречался с такими проектами?

helen2442

Ну, я видел сайты где есть поиск по ключевым понятиям. Например, mathworld.wolfram.com. Не знаю, насколько это то что ты имел в виду.

chepa02

Я слышала о несколько ином направлении:
создать единую сеть электронных библиотек,
+ оцифровка всех печатных текстов и рукописей
разработать новые стандарты для математических текстов,
и алгоритмы работы с ними (например, поиск по формулам)
Подробностей не знаю - см. MoWGLI Home Page
А насчет справочника объектов
идея конечно интересная, этакое программирование математики, но насколько она осуществима?
Сколько статей написано, и все они что-то утверждают. Переработать достаточное количество этого материала имхо нереально, т.е. вместо системы математики помогающей ученым доказывать что-то мы можем получить разве что справочник школьника/студента по математике.

stm7535571

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

chepa02

Да, получается, что математики, в принципе далекие от тонкостей языков разметки и т.п., должны выучить новый формат и везде его использовать.
Если даже с опробованным и авторитетным ТеХ'ом многие работают с трудом, то переходить на новый формат будет сложно.
К тому же все новое нуждается в многочисленных отладках и проверках. Вряд ли тот вариант, который создается сейчас будет действительно удобным и рабочим. Так что введение этой системы - очень долгий процесс.

stm7535571

А как же Пишут же программы, находят ошибки, исправляют их. Огромные объемы за довольно короткий срок. Другое дело, что ошибки находить и исправлять гораздо легче. Например, выходит математическая статья с ошибкой. Некоторые ошибку эту ловят, некоторые начинают на ошибочную статью ссылаться. Исправления выходят очень редко, если вообще выходят. И что в результате получается? А так ошибка может быть исправлена или статья хотя бы помечена как ошибочная.
Оставить комментарий
Имя или ник:
Комментарий: