АКСИОМАТИЧЕСКИЙ МЕТОД

АКСИОМАТИЧЕСКИЙ МЕТОД, метод математических рассуждений, основанный на логическом выводе из некоторых утверждений (аксиом). Этот метод является одной из основ математической науки: его использовали еще в древней Греции, а формализацию его осуществил в начале XX в. Давид ГИЛЬБЕРТ. В аксиоматической системе некоторые неопределяемые единицы (термины) берутся в качестве исходных и описываются набором аксиом. Из них путем логических рассуждений выводятся другие соотношения (теоремы), часто совершенно неожиданные. см. также ГЕДЕЛЬ.

Источник: Научно-технический энциклопедический словарь на Gufo.me


Значения в других словарях

  1. АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД (греч. axioma — значимое, принятое положение) — способ построения теории, при котором некоторые истинные утверждения избираются в качестве исходных положений (аксиом)... Новейший философский словарь
  2. Аксиоматический Метод — Способ построения научной теории, при к-ром в основу теории кладутся нек-рые исходные положения, наз. аксиомами теории, а все остальные предложения теории получаются как логич. следствия аксиом. В математике А. Математическая энциклопедия
  3. Аксиоматический метод — Способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) — аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Большая советская энциклопедия
  4. АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД — способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики) — позволяющих путем логической дедукции получать утверждения (теоремы) данной теории. Большой энциклопедический словарь
  5. АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД. см. МЕТОД АКСИОМАТИЧЕСКИЙ. Социологический словарь
  6. АКСИОМАТИЧЕСКИЙ МЕТОД — АКСИОМАТИЧЕСКИЙ МЕТОД – метод построения теорий, в соответствии с которым разрешается пользоваться в доказательствах лишь аксиомами и ранее выведенными из них утверждениями. Новая философская энциклопедия