аксиоматический
101Число — I Число важнейшее математическое понятие. Возникнув в простейшем виде ещё в первобытном обществе, понятие Ч. изменялось на протяжении веков, постепенно обогащаясь содержанием по мере расширения сферы человеческой деятельности и связанного …
102Бурбаки — Никола (Bourbaki Nicolas), собирательный псевдоним, под которым группа математиков во Франции выступает с попыткой осуществить идею, исходящую от Д. Гильберта обозреть различные математические теории с позиций формального аксиоматического …
103Интерпретация — I Интерпретация (лат. interpretatio) истолкование, объяснение, разъяснение. 1) В буквальном понимании термин «И.» употребляется в юриспруденции (например, И. закона адвокатом или судьей это «перевод» «специальных» выражений, в… …
104Модель — I Модель (Model) Вальтер (24.1.1891, Гентин, Восточная Пруссия, 21.4.1945, близ Дуйсбурга), немецко фашистский генерал фельдмаршал (1944). В армии с 1909, участвовал в 1 й мировой войне 1914 18. С ноября 1940 командовал 3 й танковой… …
105Независимость — I Независимость в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы …
106Определение — I Определение дефиниция (от лат. definitio), указание или объяснение значения (смысла) термина и (или) объёма (содержания) выражаемого данным термином понятия (См. Понятие); этот термин (понятие) называется определяемым (лат. definiendum …
107Дедукция — (от deducere выводить) термин современной логики, обозначающий выведение одной мысли из другой, делаемое на основании логических законов. Большинство логиков под словом Д. разумеют выведение частного из общего: такое ограничение, однако, не имеет …
108Канон церковный — (греч. κανών, буквально прямой шест всякая мера, определяющая прямое направление: ватерпас, линейка, наугольник). I. В Древней Греции композиторы, грамматики, философы, медики этим словом называли свод основных положений или правил по своей… …
109АКСИОМА — АКСИОМА, утверждение, используемое в математике или логике как основание для дедуктивных рассуждений. см. АКСИОМАТИЧЕСКИЙ МЕТОД …
110АРИФМЕТИКА — АРИФМЕТИКА, способ расчета при помощи сложения, вычитания, умножения и деления. Формальную аксиоматическую базу под эти операции подвел Джузеппе Пеано в конце XIX в. Исходя из некоторых постулатов, например, о том, что имеется лишь одно… …
