О портале "Математика. ру" arrow Высшая математика arrow Л. Э. Гуревич, Э. Б. Глинер
Математический портал Математику.ру

Д. Гильберт

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

 

Л. Э. Гуревич, Э. Б. Глинер

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

Л. Э. Гуревич, Э. Б. Глинер

... Встреча математики с логикой в прошлом столетии привела к таким же последствиям, что и приход принца в зачарованный замок спящей красавицы: после столетий глубокого сна логика вновь расцвела плодотворной жизнью [371, с. 21].

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