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