Реализация математики в теории множеств
Применение математики в теории множеств Основы теории множеств Теория множеств – это раздел математики, изучающий свойства множеств. Множество – это […]
Вики
Formalism (deductive)
Вики
Параметризованный постньютоновский формализм
Параметризованный постньютоновский формализм Определение и история PPN Параметрические постньютоновские параметры (PPN) описывают отклонение от ньютоновской гравитации. PPN были введены в
Вики
Формализм БСНН
Формализм BSSN Вступление История развития теории относительности Временная шкала ключевых событий в теории Тесты Математическая формулировка теории относительности Принцип эквивалентности
Вики
Формализм ADM
Формализм ADM Основы общей теории относительности Общая теория относительности (ОТО) – это теория гравитации, которая описывает взаимодействие между материей и
Вики
Научный формализм
Научный формализм Научный формализм – это семейство подходов к представлению науки, важная часть научного метода. Существует множество уровней научного формализма,
Вики
Формализм (философия математики)
Формализм (философия математики) Формализм в философии математики рассматривает утверждения математики и логики как утверждения о последствиях манипулирования строками с использованием
Вики
Формальная эпистемология
Формальная эпистемология Статья представляет собой список ученых и их работ в области формальной эпистемологии. Упоминаются различные темы и области исследований,
Вики
Дэвид Гильберт
Дэвид Гильберт Давид Гильберт – выдающийся математик, сформулировавший 23 проблемы Гильберта. Проблемы Гильберта стали манифестом формалистической школы математики 20-го века.
Вики
Каноническая форма
Каноническая форма Нормальная форма – это форма выражения, которая может быть получена из других форм с помощью определенных правил. Нормальная