О портале "Математика. ру" arrow Элементарная математика arrow В. Гейзенберг
Математический портал Математику.ру

Д. Гильберт

Доказательства существования, использующие закон исключенного третьего, имеют большей частью особую прелесть благодаря своей удивительной краткости и изяществу. Отнять у математиков закон исключенного третьего - это то же, что забрать у астрономов телескоп или запретить боксерам пользоваться кулаками. Запрещение теорем существования и закона исключенного третьего почти равносильно полному отказу от математической науки [73, с. 383].

 

В. Гейзенберг

Печать E-mail
26.02.2008 г.

В. Гейзенберг

... Наличие доказательства не всегда облегчает математику жизнь. Хотя и легко доказать, что простых чисел существует бесконечное множество, хотелось бы иметь формулу для написания сколь угодно большого простого числа. Но таковой пока еще нет. Ни один математик не может по требованию написать простое число, скажем, в 10 миллионов знаков, несмотря на то что оно безусловно существует [198, с. 188].

 
« Пред.   След. »
Яндекс.Метрика