Документ взят из кэша поисковой машины. Адрес оригинального документа : http://www.snto-msu.net/showflat.php?Number=3307906&src=arc&showlite=
Дата изменения: Unknown
Дата индексирования: Tue Apr 12 23:03:18 2016
Кодировка: Windows-1251
Организация математики - Public forum of MSU united student networks
Root | Google | Yandex | Mail.ru | Kommersant | Afisha | LAN Support
  
General Discussion >> Study (Archive)

Страницы: 1
welkam
journeyman

Рег.: 30.01.2005
Сообщений: 62
Рейтинг: 37
  Организация математики
      02.09.2005 18:23
 

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Lexa
newbie

Рег.: 15.04.2004
Сообщений: 25
Рейтинг: 0
  Re: Организация математики [re: welkam]
      02.09.2005 20:05
 

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

alpha

Рег.: 29.10.2004
Сообщений: 8198
Рейтинг: 3940
  Re: Организация математики [re: welkam]
      02.09.2005 22:29
 

Я слышала о несколько ином направлении:

создать единую сеть электронных библиотек,
+ оцифровка всех печатных текстов и рукописей

разработать новые стандарты для математических текстов,
и алгоритмы работы с ними (например, поиск по формулам)

Подробностей не знаю - см. MoWGLI Home Page

А насчет справочника объектов
идея конечно интересная, этакое программирование математики, но насколько она осуществима?
Сколько статей написано, и все они что-то утверждают. Переработать достаточное количество этого материала имхо нереально, т.е. вместо системы математики помогающей ученым доказывать что-то мы можем получить разве что справочник школьника/студента по математике.

welkam
journeyman

Рег.: 30.01.2005
Сообщений: 62
Рейтинг: 37
  Re: Организация математики [re: alpha]
      03.09.2005 01:11
 

Спасибо большое, действительно очень полезная ссылка.

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

alpha

Рег.: 29.10.2004
Сообщений: 8198
Рейтинг: 3940
  Re: Организация математики [re: welkam]
      03.09.2005 01:35
 

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

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

welkam
journeyman

Рег.: 30.01.2005
Сообщений: 62
Рейтинг: 37
  Re: Организация математики [re: alpha]
      03.09.2005 01:49
 

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

Страницы: 1

General Discussion >> Study (Archive)

Дополнительная информация
0 зарегистрированных и 1 анонимных пользователей просматривают этот форум.

Модераторы:  Basilio, The_Nameless_One 

Печать темы

Права
      Вы можете создавать новые темы
      Вы можете отвечать на сообщения
      HTML отключен
      UBBCode включен

Рейтинг:
Просмотров темы:

Переход в