Составители:
458
рые) выходы, не определены все (а только некоторые) элементы процесса.
Когда разработка будет закончена, то будет определено ВСЁ.
Так мы пришли к выводу о необходимости введения, «временных техниче-
ских условий» на приемку математических теорий, используемых для про-
ектирования разнообразных систем.
2. Н. Бурбаки и аксиоматический метод
Появление многотомного издания современной математики явилось
крупным событием в жизни мировой науки. Под псевдонимом Н. Бурбаки
выступила группа блестящих математиков XX века, одним из представи-
телей которых был Ж. Дьедонне.
Научная программа этой группы нашла свое отражение в «матема-
тическом манифесте», который назывался «Архитектура математики».
Нас интересует этот вопрос в первую очередь потому, что нам нужна «Ар-
хитектура проектирования сложных систем».
Интересен финал этой статьи. Она заканчивается словами Лежена −
Дирихле, что все великие математики всегда стремились «вычисление
заменить идеями». По досадному недоразумению, отмеченному В. Ус-
пенским, в двух переводах этой статьи:
«… последняя фраза содержит опечатку. Напечатано: «идеи за-
менить вычислениями, следует читать: «вычисления заменить идея-
ми». (Н. Бурбаки. Теория множеств. М.: Мир, 1965. С. 18).
Нам кажется, что этот вывод очень важен, тем более, что для вы-
числений есть ЭВМ.
Книга Н. Бурбаки «Теория множеств» открывается главой «Описа-
ние формальной математики». Именно эта часть нам и нужна. Но прежде
— о положении в математике, следуя «математическому манифесту».
«Нет такого математика, даже среди обладающих самой обшир-
ной эрудицией, который бы не чувствовал себя чужеземцем в некото-
рых областях огромного математического мира.
Поэтому даже не возникает мысли дать неспециалисту точное пред-
ставление о том, что даже сами математики не могут постичь во всей пол-
ноте. Но можно спросить себя, является ли это обширное возрастание раз-
витием крепко сложенного организма, который с каждым днем приобрета-
ет все больше и больше согласованности и единства между своими вновь
возникающими частями, или, напротив, оно является только внешним при-
знаком тенденции к идущему все дальше и дальше распаду, обусловлен-
ному самой природой математики; не находится ли эта последняя на пути
превращения в Вавилонскую башню, в скопление автономных дисциплин,
изолированных друг от друга, как по своим методам, так и по своим целям
и даже по языку? Одним словом, существует в настоящее время одна
математика или несколько математик?
рые) выходы, не определены все (а только некоторые) элементы процесса.
Когда разработка будет закончена, то будет определено ВСЁ.
Так мы пришли к выводу о необходимости введения, «временных техниче-
ских условий» на приемку математических теорий, используемых для про-
ектирования разнообразных систем.
2. Н. Бурбаки и аксиоматический метод
Появление многотомного издания современной математики явилось
крупным событием в жизни мировой науки. Под псевдонимом Н. Бурбаки
выступила группа блестящих математиков XX века, одним из представи-
телей которых был Ж. Дьедонне.
Научная программа этой группы нашла свое отражение в «матема-
тическом манифесте», который назывался «Архитектура математики».
Нас интересует этот вопрос в первую очередь потому, что нам нужна «Ар-
хитектура проектирования сложных систем».
Интересен финал этой статьи. Она заканчивается словами Лежена −
Дирихле, что все великие математики всегда стремились «вычисление
заменить идеями». По досадному недоразумению, отмеченному В. Ус-
пенским, в двух переводах этой статьи:
«… последняя фраза содержит опечатку. Напечатано: «идеи за-
менить вычислениями, следует читать: «вычисления заменить идея-
ми». (Н. Бурбаки. Теория множеств. М.: Мир, 1965. С. 18).
Нам кажется, что этот вывод очень важен, тем более, что для вы-
числений есть ЭВМ.
Книга Н. Бурбаки «Теория множеств» открывается главой «Описа-
ние формальной математики». Именно эта часть нам и нужна. Но прежде
— о положении в математике, следуя «математическому манифесту».
«Нет такого математика, даже среди обладающих самой обшир-
ной эрудицией, который бы не чувствовал себя чужеземцем в некото-
рых областях огромного математического мира.
Поэтому даже не возникает мысли дать неспециалисту точное пред-
ставление о том, что даже сами математики не могут постичь во всей пол-
ноте. Но можно спросить себя, является ли это обширное возрастание раз-
витием крепко сложенного организма, который с каждым днем приобрета-
ет все больше и больше согласованности и единства между своими вновь
возникающими частями, или, напротив, оно является только внешним при-
знаком тенденции к идущему все дальше и дальше распаду, обусловлен-
ному самой природой математики; не находится ли эта последняя на пути
превращения в Вавилонскую башню, в скопление автономных дисциплин,
изолированных друг от друга, как по своим методам, так и по своим целям
и даже по языку? Одним словом, существует в настоящее время одна
математика или несколько математик?
458
Страницы
- « первая
- ‹ предыдущая
- …
- 458
- 459
- 460
- 461
- 462
- …
- следующая ›
- последняя »
