Матема́тика — точная формальная наука, первоначально исследовавшая количественные отношения и пространственные формы. В более современном понимании, это наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории.
Прикладна́я матема́тика — область математики, рассматривающая применение математических методов, алгоритмов в других областях науки и техники. Примерами такого применения будут: численные методы, математическая физика, линейное программирование, оптимизация и исследование операций, моделирование сплошных сред, биоматематика и биоинформатика, теория информации, теория игр, теория вероятностей и статистика, финансовая математика и актуарные расчёты, криптография, а следовательно комбинаторика и в некоторой степени конечная геометрия, теория графов в приложении к сетевому планированию, и во многом то, что называется информатикой. В вопросе о том, что является прикладной математикой, нельзя составить чёткую логическую классификацию. Математические методы обычно применяются к специфическому классу прикладных задач путём составления математической модели.
Информа́тика — наука о методах и процессах сбора, хранения, обработки, передачи, анализа и оценки информации с применением компьютерных технологий, обеспечивающих возможность её использования для принятия решений.
Нау́ка — деятельность, направленная на выработку и систематизацию объективных знаний о действительности.
Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, её различных направлений, дисциплин и теорий. В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.
Ло́гика (др.-греч. λογική — «наука о правильном мышлении»; «способность к рассуждению»; от λόγος «учение, наука») — философская дисциплина и нормативная наука о законах, формах и приёмах интеллектуальной деятельности.
Естествозна́ние — совокупность знаний о природных объектах, явлениях и процессах. Естествознание возникло до образования отдельных естественных наук. Оно активно развивалось в XVII—XIX веках. Учёных, занимавшихся естествознанием или накоплением первичных знаний о природе, называли естествоиспытателями.
Фри́дрих Лю́двиг Го́тлоб Фре́ге — немецкий логик, математик и философ. Представитель школы аналитической философии.
Форма́льная ло́гика — наука о правилах преобразования высказываний, сохраняющих их истинностное значение безотносительно к содержанию входящих в эти высказывания понятий, а также конструирование этих правил.
Математическое доказательство — рассуждение с целью обоснования истинности какого-либо утверждения (теоремы), цепочка логических умозаключений, показывающая, что при условии истинности некоторого набора аксиом и правил вывода утверждение верно. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы или текст на естественном языке, по которому при необходимости можно восстановить формальное доказательство. Необходимость формального доказательства утверждений — одна из основных характерных черт математики как дедуктивной отрасли знаний, соответственно, понятие доказательства играет центральную роль в предмете математики, а наличие доказательств и их корректность определяют статус любых математических результатов.
Да́на Стю́арт Скотт — американский математик, известный работами в области математической логики и информатики.
Основа́ния матема́тики — система общих для всей математики понятий, концепций и методов, с помощью которых строятся различные её разделы.
История логики изучает развитие науки о формах и законах правильного мышления (логика).
Станислав Лесьневский — польский математик и философ. В математике специализировался на математической логике. Один из главных представителей Львовско-варшавской школы.
Философская логика — область логических исследований, ориентированных на проблемы философии, применяющих методы и категориальный аппарат философии к основным понятиям современной логики и к результатам, полученным средствами символической логики; также — подход в философии, основанный на приложении идей и аппарата современной формальной логики к анализу разнообразных понятий и проблем философии.
Филосо́фия — особая форма познания и система знаний об общих характеристиках, понятиях и принципах реальности (бытия), а также бытия человека, об отношении человека и окружающего его мира.
Эдуа́рд Алексе́евич Гирш — российский математик, специалист по теоретической информатике.
Франк Сипке де Бур — нидерландский учёный в области теоретической информатики, известный своим вкладом по таким направлениям, как архитектура предприятия, акторские языки программирования, языки программирования на ограничениях, параллельные логические языки, языки координации в компонентно-ориентированном программировании, автономные агенты, многоагентные системы и разнообразное применение формальных методов в объектно-ориентированном контексте.
Есте́ственные нау́ки — науки, изучающие природу. Множество отраслей естественных наук объединено в систему наук — естествознание.
Марио Аугусто Бунге — аргентинский философ и физик.
