Организация математики - Public forum of MSU united student networks

Возникла следующая идея.

Очевидны трудности, связанные с современной организацией математики:

1. Огромные проблемы с поиском информации.

2. Закрытость и недоступность результатов.

3. Раздробленность результатов.

4. Невозможность машинного анализа данных.

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

Хотелось бы создать систему знаний, способную вместить современную науку и
помочь ее развитию. Основные признаки данной системы:

1. Единое представление знаний (единые данные).

2. Контроль версий знаний - полное сохранение истории изменений (CVS-subversion ?)

3. Единый юридический статус - свободная лицензия и доступность (GFDL?)

4. Открытость системы - возможность обсуждать и вносить изменения в ее части.

5. Широкие возможности поиска и разметки информации (метаданные).

По способу представления знаний можно сказать следующее:

1. Должны храниться описания объектов и их свойств.

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

3. Доказательства свойств объектов могут храниться в текстовом виде
(обычная статья), изменяться и улучшаться. В то же время, должны
выделяться методы доказательств (используемые объекты и свойства,
например, метод сжимающих отображений.)

4. Хотя на данных момент не требуется возможность автоматической
проверки доказательств, в будущем такая возможность может
подразумеваться.

Конечно, такая система не будет лишена недостатков, например, разработка
открытых программ строится по примерно такой-же модели, и проблем там
достаточно. Но, как мне кажется, преимуществ будет больше.

Начать можно с простейших вещей, например, теория множеств +
классический анализ + классическая алгебра. Может быть, кто-нибудь
встречался с такими проектами?