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

Конструктивное направление
        в математике, математическое мировоззрение, связанное с признанием исследования конструктивных процессов и конструктивных объектов основной задачей математики. К концу 19 в. в математике возникло неконструктивное, теоретико-множественное направление, получившее существенное развитие в трудах К. Вейерштрасса, Р. Дедекинда и особенно Г. Кантора. Началось построение теории множеств, претендовавшей на роль фундамента всей математики. В этой теории, в соответствии с изречением Кантора «сущность математики в её свободе», допускался большой произвол при введении «множеств», которые затем рассматривались как законченные «объекты». Однако в начале 20 в. в теории множеств были открыты т. н. антиномии, т. е. противоречия, показавшие, что нельзя любым образом объединить «объекты» в «множества». Попытки преодолеть возникшие трудности были сделаны на пути аксиоматизации теории множеств, т. е. превращения её в аксиоматическую науку наподобие геометрии (см. Аксиоматическая теория множеств). Это осуществляется так, чтобы всё, требуемое для обоснования математики, получалось на основе аксиом, тогда как известные до сих пор антиномии не проходили бы.
         Первая попытка в этом направлении была предпринята Э. Цермело, опубликовавшим свою систему аксиом теории множеств в 1908. Известные антиномии теории множеств не проходили в системе Цермело, однако гарантий против появления противоречий не было. Возникла проблема обеспечения непротиворечивости аксиоматически построенной теории множеств. Эту проблему выдвинул и пытался решить Д. Гильберт, основная идея которого состояла в полной формализации аксиоматической теории множеств, в трактовке её как формальной системы (см. в ст. Логика). Задача установления непротиворечивости рассматриваемой теории сводилась бы тогда к доказательству формальной недоказуемости формул определённого вида. Это доказательство должно было быть убедительным рассуждением о конструктивных объектах — формальных доказательствах. Оно, таким образом, должно было укладываться в рамки конструктивной математики (См. Конструктивная математика). Цепь, поставленная Гильбертом, оказалась недостижимой, что было доказано К. Гёделем (См. Гёдель) в 1931. Однако большой интерес представляет предложенное Гильбертом средство — Метаматематика, конструктивная наука о формальных доказательствах, являющаяся частью конструктивной математики. Программу Гильберта можно охарактеризовать как неудавшуюся попытку обосновать теоретико-множественную математику на базе конструктивной математики, в надёжности которой он не сомневался. Самого же Гильберта следует считать одним из основоположников конструктивной математики.
         К. н. можно рассматривать как ответвление основанного Л. Э. Я. Брауэром интуиционизма, программа которого состоит в исследовании умственных математических построений. Близость К. н. к интуиционизму проявляется в понимании дизъюнкций и теорем существования, а также в трактовке закона исключенного третьего. Расхождения между этими двумя направлениями состоят прежде всего в том, что конструктивисты, в отличие от интуиционистов, не считают свои построения чисто умственным занятием; кроме того, интуиционисты рассуждают о неких «свободно становящихся последовательностях» и рассматривают континуум как «среду свободного становления», тем самым привлекая к рассмотрению неконструктивные объекты. К. н. в математике привело к построению особой науки — конструктивной математики.
         А. А. Марков.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

Смотреть что такое "Конструктивное направление" в других словарях:

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

  • КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения …   Математическая энциклопедия

  • ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… …   Философская энциклопедия

  • АЛГОРИТМ —         [от algorithm!; algorismus, первоначально лат. транслитерация имени ср. азиат. учёного 9 в. Хорезми (Мухаммед бен Муса аль Хорезми)], программа, определяющая способ поведения (вычисления); система правил (предписаний) для эффективного… …   Философская энциклопедия

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • ЭФФЕКТИВИЗМ —         направление в филос. основаниях математики, ставившее своей задачей переосмысление «платонистской» концептуальной основы содержат. (канторовской) теории множеств с т. зр. принципов эмпиризма. Выдвинуто в кон. 19 нач. 20 вв. в работах… …   Философская энциклопедия

  • КОНСТРУКТИВНАЯ ЛОГИКА —         1) то же, что и интуиционистская логика; 2) ветвь логики, в которой изучаются финитные (см. Финитизм) рассуждения о конструктивных объектах и процессах (см. Конструктивное направление) и строится соответств. семантика. В К. л. отвергается …   Философская энциклопедия

  • МАТЕМАТИЧЕСКАЯ ЛОГИКА — одно из названий современной логики, пришедшей во втор. пол. 19 нач. 20 в. на смену традиционной логике. В качестве др. названия современного этапа в развитии науки логики используется также термин символическая логика. Определение… …   Философская энциклопедия

  • АБСТРАКЦИЯ АКТУАЛЬНОЙ БЕСКОНЕЧНОСТИ —         одна из осн. абстракций (идеализации) классич. (теоретико множеств.) математики и классич. математич. логики. Состоит в отвлечении от невозможности полного обозрения к. л. бесконечного образования (бесконечной совокупности элементовк. л.… …   Философская энциклопедия

  • МАТЕМАТИЧЕСКАЯ БЕСКОНЕЧНОСТЬ — общее название разл. реализаций идеи бесконечности в математике. Хотя между значениями понятия М. б. и др. значениями, в к рых употребляется термин бесконечность , нет жесткой границы (поскольку все эти понятия в конечном счете отражают весьма… …   Философская энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»