Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Дави́д Ги́льберт — немецкий математик-универсал, внёс значительный вклад в развитие многих областей математики. Член многих академий наук, в том числе Берлинской, Гёттингенской, Лондонского королевского общества, иностранный почётный член Академии наук СССР (1934). Лауреат премии имени Н. И. Лобачевского (1903). В 1910—1920-е годы был признанным мировым лидером математиков.
Курт Фри́дрих Гёдель — австрийский логик, математик и философ математики. Наиболее известен сформулированными и доказанными им теоремами о неполноте, которые оказали огромное влияние на представление об основаниях математики. Считается одним из наиболее выдающихся мыслителей XX века.
Теорема Гёделя о неполноте и вторая теорема Гёделя — две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой формальной системы, в которой можно определить основные арифметические понятия: натуральные числа, 0, 1, сложение и умножение.
Андре́й Андре́евич Ма́рков — советский математик, сын известного русского математика А. А. Маркова, основоположник советской школы конструктивной математики.
Конструктивная математика — абстрактная наука о мыслительных конструктивных процессах, человеческой способности осуществлять их, и об их результатах — конструктивных математических объектах. Является результатом развития конструктивного направления в математике — математического мировоззрения, которое в отличие от теоретико-множественного направления считает основной задачей математики исследование конструктивных процессов и конструктивных объектов.
Лёйтзен Э́гберт Ян Бра́уэр — голландский философ и математик, выпускник университета Амстердама, работавший в таких областях математики, как топология, теория множеств, математическая логика, теория меры и комплексный анализ.
Ха́скелл Брукс Ка́рри — американский математик и логик.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Гу́го Диони́сий Штейнга́уз — польский математик, ученикГильберта, один из основоположников львовской и вроцлавской математических школ. Автор около 170 научных статей и книг. Сделал вклад во многих областях математики, таких как функциональный анализ, геометрия, математическая логика и тригонометрия. Его считают одним из пионеров современных подходов в теории игр и теории вероятностей. Совместно со своим учеником, Яном Мычельским, предложил аксиому детерминированности как полноценную альтернативу аксиоме выбора и не приводящую к парадоксам.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Анато́лий Ива́нович Ма́льцев — советский математик, основоположник сибирской школы алгебры и логики. Академик АН СССР (1958). Лауреат Ленинской премии.
Пи́тер Дэ́вид Лакс — американский математик, лауреат премии Вольфа 1987 года.
Основа́ния матема́тики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы.
Пер Мартин-Лёф — шведский логик, статистик и философ. Член Шведской королевской академии наук.
Туральф Альберт Скулем — норвежский математик, основные работы — в области оснований математики и математической логики, также внёс заметный вклад в общую алгебру, теорию чисел и философию математики.
Альберт Григорьевич Драгалин — советский математик, логик-конструктивист, внёсший весомый вклад в интеграцию советской школы конструктивной математики в общемировую систему математико-логического знания. В 1970-х — начале 1980-х годов — доцент МГУ, в 1990-х — профессор Дебреценского университета. Основные работы — по теории доказательств, интуиционизму, нестандартному анализу.
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Рубен Луис Гудстейн — английский математик. Серьёзно интересовался философией, преподавал математику.
