Конструктивное направление

Конструктивное направление

КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ в математике и логике, подход в основаниях этих наук, при котором их сфера ограничивается конструктивными объектами и такими рассуждениями об этих объектах, в которых не присутствует идея актуальной бесконечности. Конструктивными называют объекты, являющиеся либо элементарными знаковыми образованиями (т. е. не построенными из др. знаков), относительно которых предполагается, что они однозначно опознаваемы — различаемы и отождествляемы, как, например, буквы некоторого алфавита (см.

Конструктивное направление (НФЭ, 2010)

КОНСТРУКТИВНОЕ НАПРАВЛЕНИЕ (в математике и логике) — одно из направлений в основаниях математики, в рамках которого исследования ограничиваются конструктивными процессами и конструктивными объектами. Конструктивное направление имеет точки соприкосновения с интуиционистской математикой (см. Интуиционизм). Конструктивисты сходятся с интуиционистами в трактовке предложений о существовании и в понимании дизъюнкции и в силу этого признают правильной данную Брауэром критику закона исключенного третьего. Вместе с тем конструктивисты считают неприемлемыми методологические основы интуиционизма.