Связанные понятия
Тео́рия всего ́ — гипотетическая объединённая физико-математическая теория, описывающая все известные фундаментальные взаимодействия. Первоначально данный термин использовался в ироническом ключе для обозначения разнообразных обобщённых теорий. Со временем термин закрепился в популяризациях квантовой физики для обозначения теории, которая объединила бы все четыре фундаментальных взаимодействий в природе. В современной научной литературе вместо термина «теория всего» как правило используется термин...
Основания математики — математическая система, разработанная с целью обеспечить вывод математического знания из небольшого числа чётко сформулированных аксиом с помощью логических правил вывода, тем самым гарантируя надёжность математических истин. Основания математики включают в себя три компонента.
Задачи тысячелетия — семь открытых математических проблем, определённых Математическим институтом Клэя в 2000 году как «важные классические задачи, решение которых не найдено вот уже в течение многих лет», за решение каждой из которых обещано вознаграждение в 1 млн долларов США. Существует историческая параллель между задачами тысячелетия и списком проблем Гильберта 1900 года, оказавшим существенное влияние на развитие математики в XX веке; из 23 проблем Гильберта большинство уже решены, и только...
Релятиви́стская тео́рия гравита́ции (РТГ) — биметрическая теория гравитации, развиваемая в рамках специальной теории относительности (в авторской интерпретации) и основанная на представлении гравитационного поля как симметричного тензорного физического поля валентности 2 в пространстве Минковского. Оно формирует метрику эффективного риманова пространства, которое только и чувствуют прочие поля и частицы. В последних версиях утверждается, что теория содержит массивные гравитоны. Разрабатывалась академиком...
Теорети́ческая фи́зика — раздел физики, в котором в качестве основного способа познания природы используется создание теоретических (в первую очередь математических) моделей явлений и сопоставление их с реальностью. В такой формулировке теоретическая физика является самостоятельным методом изучения природы, хотя её содержание, естественно, формируется с учётом результатов экспериментов и наблюдений за природой.
Гипотеза математической вселенной (ГМВ, также известна как Конечный Ансамбль) — в физике и космологии, одна из гипотез «теории всего», предложенная физиком-теоретиком Максом Тегмарком.
Матема́тика (др.-греч. μᾰθημᾰτικά < μάθημα «изучение; наука») — наука об отношениях между объектами, о которых ничего не известно, кроме описывающих их некоторых свойств, — именно тех, которые в качестве аксиом положены в основание той или иной математической теории. Исторически сложилась на основе операций подсчёта, измерения и описания формы объектов. Математические объекты создаются путём идеализации свойств реальных или других математических объектов и записи этих свойств на формальном языке...
Интерпрета́ции ква́нтовой меха́ники — различные философские воззрения на сущность квантовой механики как физической теории, описывающей материальный мир. Они решают такие философские проблемы, как вопрос о природе физической реальности и способе её познания, о характере детерминизма и причинности, о сущности и месте статистики в квантовой механике.
Метаматематика — раздел математической логики, изучающий основания математики, структуру математических доказательств и математических теорий с помощью формальных методов. Термин «метаматематика» буквально означает «за пределами математики».
Теории Нордстрёма — одна из первых попыток создать релятивистскую теорию тяготения. Гуннар Нордстрём создал две такие теории, которые в настоящее время имеют лишь исторический интерес.
Данная статья представляет собой обзор основных событий и тенденций в истории математики с древнейших времён до наших дней.
Подробнее: История математики
Четырнадцатая проблема Гильберта — четырнадцатая из проблем, поставленных Давидом Гильбертом в его знаменитом докладе на II Международном Конгрессе математиков в Париже в 1900 году. Она посвящена вопросу конечной порождённости возникающих при определённых конструкциях колец. Исходная постановка Гильберта была мотивирована работой Маурера, в которой утверждалась конечная порождённость алгебры инвариантов линейного действия алгебраической группы на векторном пространстве; собственно же вопрос Гильберта...
Семнадцатая проблема Гильберта — одна из 23 проблем Гильберта, которые Давид Гильберт высказал в 1900 году на II Международном конгрессе математиков в Париже и которые оказали исключительное влияние на развитие математики в XX веке. Формулировка задачи по Гильберту такова...
Логици́зм — одно из основных направлений обоснования математики и философии математики, ставящее целью сведе́ние исходных математических понятий к понятиям логики. Двумя другими основными направлениями являются интуиционизм и формализм.
Гипотеза в математике — утверждение, которое на основе доступной информации представляется с высокой вероятностью верным, но для которого не удаётся получить математическое доказательство. Математическая гипотеза является открытой математической проблемой, и каждую нерешённую математическую проблему, которая является проблемой разрешимости, можно сформулировать в форме гипотезы. Однако в виде гипотезы может быть сформулирована не всякая математическая проблема. Например, конкретное решение некоторой...
Тео́рия вероя́тностей — раздел математики, изучающий случайные события, случайные величины, их свойства и операции над ними.
Тео́рия (греч. θεωρία «рассмотрение, исследование») — учение, система научного знания, описывающая и объясняющая некоторую совокупность явлений и сводящая открытые в данной области закономерные связи к единому объединяющему началу. Представляет собой наиболее глубокое и системное знание о необходимых сторонах, связях исследуемого, его сущности и закономерностях. Знания о закономерностях исследуемого в теории являются логически непротиворечивыми и основанными на каком-либо едином, объединяющем начале...
Тео́рия относи́тельности — физическая теория пространства-времени, то есть теория, описывающая универсальные пространственно-временные свойства физических процессов.
Наи́вная тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств. Основным создателем теории множеств в наивном её варианте является немецкий математик Георг Кантор. Множество есть любое собрание определённых и различимых между собой объектов нашей интуиции или интеллекта, мыслимое как единое целое. Для задания элементов множества используется форма. В качестве основных аксиом принимаются аксиома объемности, принцип абстракции и аксиома выбора.
Математи́ческая фи́зика — теория математических моделей физических явлений. Она относится к математическим наукам; критерий истины в ней — математическое доказательство. Однако, в отличие от чисто математических наук, в математической физике исследуются физические задачи на математическом уровне, а результаты представляются в виде теорем, графиков, таблиц и т. д. и получают физическую интерпретацию. При таком широком понимании математической физики к ней следует относить и такие разделы механики...
Тео́рия мно́жеств — раздел математики, в котором изучаются общие свойства множеств — совокупностей элементов произвольной природы, обладающих каким-либо общим свойством. Создана во второй половине XIX века Георгом Кантором при значительном участии Рихарда Дедекинда, привнесла в математику новое понимание природы бесконечности, была обнаружена глубокая связь теории с формальной логикой, однако уже в конце XIX — начале XX века теория столкнулась со значительными сложностями в виде возникающих парадоксов...
Теория доказательств — это раздел математической логики, представляющий доказательства в виде формальных математических объектов, осуществляя их анализ с помощью математических методов. Доказательства обычно представляются в виде индуктивно определённых структур данных, таких как списки и деревья, созданных в соответствии с аксиомами и правилами вывода формальных систем. Таким образом, теория доказательств является синтаксической, в отличие от семантической теории моделей. Вместе с теорией моделей...
Альтернативными теориями
гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности (ОТО) или существенно (количественно или принципиально) модифицирующие её. К альтернативным теориям гравитации часто относят вообще любые теории, не совпадающие с общей теории относительности хотя бы в деталях или как-то обобщающие её. Тем не менее, нередко теории гравитации, особенно квантовые, совпадающие с общей теорией относительности в низкоэнергетическом пределе...
Зако́н — вербальное и/или математически выраженное утверждение, имеющее доказательство (в отличие от аксиомы), которое описывает соотношения, связи между различными научными понятиями, предложенное в качестве объяснения фактов и признанное на данном этапе научным сообществом согласующимся с ними. Непроверенное научное утверждение, предположение или догадку называют гипотезой.
Аксиома́тика Колмого́рова — общепринятая аксиоматика для математического описания теории вероятностей. Первоначальный вариант предложен Андреем Николаевичем Колмогоровым в 1929 году, окончательная версия — в 1933 году. Аксиоматика Колмогорова позволила придать теории вероятностей стиль, принятый в современной математике.
Ниже приведён список нерешённых пробле́м совреме́нной фи́зики. Некоторые из этих проблем носят теоретический характер. Это означает, что существующие теории оказываются неспособными объяснить определённые наблюдаемые явления или экспериментальные результаты. Другие проблемы являются экспериментальными, а это означает, что имеются трудности в создании эксперимента по проверке предлагаемой теории или по более подробному исследованию какого-либо явления.
Подробнее: Нерешённые проблемы современной физики
Физи́ческий зако́н — эмпирически установленная и выраженная в строгой словесной и/или математической формулировке устойчивая, повторяющаяся во множестве опытов, связь между физическими величинами в повторяющихся явлениях, процессах и состояниях тел и других материальных объектов в окружающем мире.
Евкли́дова геоме́трия (или элементарная геометрия) — геометрическая теория, основанная на системе аксиом, впервые изложенной в «Началах» Евклида (III век до н. э.).
Класси́ческая фи́зика — физика до появления квантовой теории и теории относительности. Основы классической физики были заложены в Эпоху Возрождения рядом учёных, из которых особенно выделяют Ньютона — создателя классической механики.
При́нцип относи́тельности (принцип относительности Эйнштейна) — фундаментальный физический принцип, один из принципов симметрии, согласно которому все физические процессы в инерциальных системах отсчёта протекают одинаково, независимо от того, неподвижна ли система или она находится в состоянии равномерного и прямолинейного движения.
Теория вычислимости , также известная как теория рекурсивных функций, — это раздел современной математики, лежащий на стыке математической логики, теории алгоритмов и информатики, возникшей в результате изучения понятий вычислимости и невычислимости. Изначально теория была посвящена вычислимым и невычислимым функциям и сравнению различных моделей вычислений. Сейчас поле исследования теории вычислимости расширилось — появляются новые определения понятия вычислимости и идёт слияние с математической...
Те́зис Чёрча — Тью́ринга — это гипотеза, постулирующая эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга. В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть. Перед точным определением вычислимой функции математики часто использовали неофициальный термин...
История теории вероятностей отмечена многими уникальными особенностями. Прежде всего, в отличие от появившихся примерно в то же время других разделов математики (например, математического анализа или аналитической геометрии), у теории вероятностей по существу не было античных или средневековых предшественников, она целиком — создание Нового времени. Долгое время теория вероятностей считалась чисто опытной наукой и «не совсем математикой», её строгое обоснование было разработано только в 1929 году...
Теория всего в философии — термин для обозначения всеобъемлющей философской концепции, описывающей природу или бытие всего сущего. Термин «теория всего» позаимствован из физики, в которой на протяжении длительного времени ведутся попытки построения теории, описывающей все известные фундаментальные взаимодействия. Философская теория всего, по мнению ряда философов, должна отвечать на такие вопросы, как «Почему постижима реальность?», «Почему законы природы именно таковы?», «Почему что-либо вообще...
Ква́нтовая меха́ника — раздел теоретической физики, описывающий физические явления, в которых действие сравнимо по величине с постоянной Планка. Предсказания квантовой механики могут существенно отличаться от предсказаний классической механики. Поскольку постоянная Планка является чрезвычайно малой величиной по сравнению с действием объектов при макроскопическом движении, квантовые эффекты в основном проявляются в микроскопических масштабах. Если физическое действие системы намного больше постоянной...
Теория возможностей — математическая теория, имеющая дело с особым типом неопределенности, альтернативна теории вероятностей. Профессор Лотфи Заде (Lotfi Zadeh) впервые ввел теорию возможностей в 1978 году в качестве расширения его теорий нечётких множеств и нечёткой логики. Д. Дюбуа (D. Dubois) и Г. Праде (H. Prade) позже внесли свой вклад в её развитие. Раньше, в 1950-х годах экономист Дж. Шекл предложил min/max-алгебру для описания степени потенциальных неожиданностей. В конце 1990-х годов профессор...
Эрлангенская программа — выступление 23-летнего немецкого математика Феликса Клейна в Эрлангенском университете (октябрь 1872 года), в котором он предложил общий алгебраический подход к различным геометрическим теориям и наметил перспективный путь их развития. Доклад был связан с процедурой утверждения Клейна в должности профессора и был опубликован в том же году. Первый русский перевод появился в 1895 году.
Формализм — один из подходов к философии математики, пытающийся свести проблему оснований математики к изучению формальных систем. Наряду с логицизмом и интуиционизмом считался в XX веке одним из направлений фундаментализма в философии математики.
Анализ бесконечно малых — историческое название математического анализа, раздела высшей математики, изучающего пределы, производные, интегралы и бесконечные ряды, и составляющего важную часть современного математического образования. Состоит из двух основных частей: дифференциального исчисления и интегрального исчисления, которые связаны между собой формулой Ньютона — Лейбница.
Теория чисел — это раздел математики, занимающийся преимущественно изучением натуральных и целых чисел и их свойств, часто с привлечением методов математического анализа и других разделов математики. Теория чисел содержит множество проблем, попытки решения которых предпринимались математиками в течение десятков, а иногда даже сотен лет, но которые пока так и остаются открытыми. Ниже приведены некоторые из наиболее известных нерешённых проблем.
Программа Гильберта в математике была сформулирована немецким математиком Давидом Гильбертом в начале 20-го века. Гильберт предположил, что согласованность более сложных систем, таких как реальный анализ, может быть доказана в терминах более простых систем. В конечном счете, непротиворечивость всей математики может быть сведена к простой арифметике.
Математи́ческая гипо́теза в физике — форма научной гипотезы, один из методов познания, широко используемый в теоретической физике, заключающийся в распространении на новую, неисследованную область известных математически выраженных законов из какой-либо из смежных областей в видоизменённой форме.
Суперсимме́трия или симме́трия Фе́рми — Бо́зе — гипотетическая симметрия, связывающая бозоны и фермионы в природе. Абстрактное преобразование суперсимметрии связывает бозонное и фермионное квантовые поля, так что они могут превращаться друг в друга. Образно можно сказать, что преобразование суперсимметрии может переводить вещество во взаимодействие (или в излучение), и наоборот.
Алгоритмическая разрешимость — свойство формальной теории обладать алгоритмом, определяющим по данной формуле, выводима она из множества аксиом данной теории или нет. Теория называется разрешимой, если такой алгоритм существует, и неразрешимой, в противном случае. Вопрос о выводимости в формальной теории является частным, но вместе с тем важнейшим случаем более общей проблемы разрешимости.
Копенга́генская интерпрета́ция — интерпретация (толкование) квантовой механики, которую сформулировали Нильс Бор и Вернер Гейзенберг во время совместной работы в Копенгагене около 1927 года. Бор и Гейзенберг усовершенствовали вероятностную интерпретацию волновой функции, данную М. Борном, и попытались ответить на ряд вопросов, возникающих вследствие свойственного квантовой механике корпускулярно-волнового дуализма, в частности на вопрос об измерении.
Интуициони́зм — совокупность философских и математических взглядов, рассматривающих математические суждения с позиций «интуитивной убедительности». Различаются две трактовки интуиционизма: интуитивная убедительность, которая не связана с вопросом существования объектов, и наглядная умственная убедительность.
Феноменологическая теория — формулировка закономерностей, определяющих взаимосвязь между различными наблюдениями явлений (феноменов) в соответствии с фундаментальной теорией, но непосредственно из этой теории не следующих.
Метатеория — теория, анализирующая методы и свойства другой теории, так называемой предметной или объектной теории.