назовите имя ученого который..

КОНСТРУКТИВНАЯ МАТЕМАТИКА

конструктивное направление в математике, - математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения и отвергающим в силу этого ряд установок традиционной теоретико-множественной математики, приводящих к появлению чистых теорем существования (в частности, абстракцию актуальной бесконечности и универсальный характер исключенного третьего закона) . Конструктивная тенденция в математике проявлялась в той или иной форме на протяжении всей ее истории, хотя, по-видимому, только К. Гаусс (С. Gauss) впервые отчетливо выразил принципиальное для К. м. различие становящейся (потенциальной) и актуальной математнч. бесконечности и возразил против употребления последней. Дальнейшие критические шаги в этом направлении были сделаны Л. Кронекером (L. Кrоnесkеr), А. Пуанкаре (Н. Poincare) и особенно Л. Брауэром (L. Brouwer). В критике Л. Брауэра, совпавшей по времени с кризисом оснований математики конца 19 - нач. 20 вв. , энергично, отвергалась как вера в экзистенциальный характер бесконечных множеств, так и убеждение в допустимости неограниченной экстраполяции классических логических принципов, в особенности закона исключенного третьего. В качестве альтернативы теоретико-множественному подходу Л. Брауэр, а затем и его последователи, разработали оригинальную программу построения математики, известную ныне под названием интуиционизм. Интуиционистскую математику Л. Брауэра можно считать первой систематич. попыткой построения математики на конструктивной основе. Параллельно успехам интуиционистов в созданной Д. Гильбертом (D. Hilbert) с целью обоснования теоретико-множественной математики доказательств теории был четко выявлен ряд первоначальных понятий, послуживший впоследствии отправной точкой отличных от интуиционизма конструктивных течений. Значительная часть соответствующих работ (при этом обнаружился достаточно широкий спектр толкования различными исследователями терминов "конструктивный", "эффективный" и пр. ) опиралась на успехи, достигнутые (опять-таки под влиянием идей Д. Гильберта) в изучении математич. понятия алгоритма. Один из наиболее последовательных и законченных подходов к построению К. м. на этой основе доставляется основанной А. А. Марковым советской школой К. м. , формирование основных понятий к-рой относится к 50-м гг. 20 в. Сам термин "К. м. " (конструктивное направление в математике) часто употребляется в узком смысле слова для именования математики, строящейся советским конструктивным направлением; ниже этот термин будет использоваться именно в указанном только что смысле.

К. м. может быть коротко охарактеризована следующими основными чертами: (1) предметом изучения являются конструктивные процессы и возникающие в результате их выполнения конструктивные объекты;. (2) рассмотрение конструктивных процессов и объектов производится в рамках абстракции потенциальной осуществимости с полным исключением идеи актуальной бесконечности; (3) интуитивное понятие эффективности связывается с точным понятием алгоритма; (4) используется специальная, учитывающая специфику конструктивных процессов п объектов конструктивная логика.
Полностью

Это почти одновременно сделали русский Лобачевский и венгр Бойяи в первой половине 19-го века.