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