аксиоматизация
21ИДЕАЛИЗМ — (от греч. idea образ, идея) филос. система или доктрина, фундаментальным интерпретативным принципом которой является идея, в частности идеал. Обычно И. истолковывается как альтернатива материализму. Если материализм подчеркивает пространственное …
22ЛУКАСЁВИЧ — (Lukasiewicz) Ян (1878 1956) пол. логик. Учился во Львове под руководством К. Твардовского (1896 1900). Проф. философии в Варшавском ун те (1915 1939), после Второй мировой войны проф. математической логики в Королевской академии наук в Дублине.… …
23ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …
24ФИЛОСОФИЯ МАТЕМАТИКИ — отрасль философии, исследующая природу математических объектов и эпистемологические проблемы математического познания. Филос. проблемы математики можно разделить на две основные группы: онтологические и эпистемологические. Абстрактный характер… …
25ГИЛЬБЕРТ — (Hubert) Давид (род. 23 янв. 1862, Кенигсберг – ум. 14 февр. 1943, Гёттинген) – нем. математик и логик, профессор в Гёттингене с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался… …
26МНОЖЕСТВ ТЕОРИЯ — математик, теория, изучающая точными средствами проблему бесконечности. Предмет М. т. свойства множеств (совокупностей, классов, ансамблей), гл. обр. бесконечных. Осн. содержание классич. М. т. было разработано нем. математиком Г.… …
27МЕТОД АКСИОМАТИЧЕСКИЙ — способ построения теории, при к ром в ее основу кладутся нек рые ее положения – аксиомы или постулаты, – из к рых все остальные положения теории (теоремы) выводятся путем рассуждений, называемых д о к а з а т е л ь с т в а м и. Правила, по к рым… …
28МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …
29ПРИМАРНОЕ РАЗЛОЖЕНИЕ — представление идеала I кольца R(или подмодуля Nмодуля М).в виде пересечения примерных идеалов (примерных подмодулей). П. р. обобщает разложение целого числа в произведение степеней различных простых чисел. Существование П. р. в кольце многочленов …
30Логика — Гр …
