Основные этапы становления и структура современной математики

реферат

Математическое доказательство

  • Основным методом в математических исследованиях являются математические доказательства - строгие логические рассуждения. В силу объективной необходимости, указывает член-корреспондент РАН Л.Д.Кудрявцев Кудрявцев Л.Д. - Современная математика и ее преподавание, Москва, Наука, 1985 год., логические рассуждения (которые по своей природе, если они правильные, являются и строгими) представляют метод математики, без них математика немыслима. Следует отметить, что математическое мышление не сводится лишь к логическим рассуждениям. Для правильной постановки задачи, для оценки ее данных, для выделения существенных из них и для выбора способа ее решения необходима еще математическая интуиция, позволяющая предвидеть нужный результат прежде, чем он будет получен, наметить путь исследования с помощью правдоподобных рассуждений. Но справедливость рассматриваемого факта доказывается не проверкой ее на ряде примеров, не проведением ряда экспериментов (что само по себе играет большую роль в математических исследованиях), а чисто логическим путем, по законам формальной логики.
  • Считается, что математическое доказательство является истиной в последней инстанции. Решение, которое основано на чистой логике просто не может быть неправильным. Но с развитием науки и задачи перед математиками ставятся всё более сложные.
  • “Мы вошли в эпоху, когда математический аппарат стал настолько сложным и громоздким, что с первого взгляда уже нельзя сказать - правдива или нет встреченная задача”, полагает Кейт Девлин из Стенфордского Университета Калифорнии, США. Он приводит в пример “классификацию простых конечных групп”, которую сформулировали еще в 1980 году, а полного точного доказательства не привили до сих пор. Скорее всего, теорема верна, но совершенно точно об этом говорить нельзя.
  • Компьютерное решение тоже невозможно назвать точным, ибо такие вычисления всегда имеют погрешность. В 1998 году Хейлс предложил решение теоремы Кеплера при помощи компьютера, сформулированной еще в 1611 году. Эта теорема описывает наиболее плотную упаковку шаров в пространстве. Доказательство было представлено на 300 страницах и содержало в себе 40000 строк машинного

    • Делись добром ;)