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