Морозов Валерий Борисович (vsounder) wrote in science_freaks,
Морозов Валерий Борисович
vsounder
science_freaks

Category:
Научно-техническая библиотека

ИНТУИТИВНАЯ СОСТАВЛЯЮЩАЯ МАТЕМАТИЧЕСКИХ ОТКРЫТИЙ 

 © Сухих Иван Николаевич  

Контакт с автором: sukhikh.ivan2011@yandex.ru

В статье рассмотрено соотношение интуитивного и логического в истории математики. Даны
доказательства проблемы Гольдбаха, теоремы Ферма.

Давно известен тезис Канта о синтетическом характере математических истин, о несводимости математики к логике. Представляется целесообразным уточнить это положение, для чего рассмотрим некоторые примеры в историческом аспекте. В истории математики известны теоремы, истинность которых подтверждается всеми известными частными случаями из них, но у которых отсутствует общее доказательство. Понятно, что такие теоремы были сформулированы интуитивно, на основе подсознательного анализа совокупности частных случаев. Прошедшее длительное время и специальное рассмотрение многих частных случаев из них не доказали их ложности. Но являются ли эти теоремы истинными в общем виде? Существует ли вообще их логическое доказательство.
..............................
5. ВЫВОДЫ
Интуитивно сделанный вывод (установление какой-либо теоремы),
подтвержденный в течение длительного времени всеми рассмотренными
отдельными случаями, говорит о принципиальном существовании
логического общего доказательства с помощью математических средств,
известных на момент формулирования данного вывода. При этом логическое
доказательство всегда дает уточняющую дополнительную информацию,
которая не была изначально заложена в интуитивно сделанный вывод.

ЛИТЕРАТУРА
1. Российский энциклопедический словарь- М., 2000
2. Выгодский М.Я. Справочник по высшей математике. М., «Век», 1997

Читать подробнее (статья в формате PDF 587 КБайт)

 

Subscribe
  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 5 comments