непротиворечивость
41ГЁДЕЛЬ — (Godel) Курт (1906 1978) австр. логик и математик. Участвовал в работе Венского кружка. В 1933 1939 приват доцент Венского ун та, в 1940 эмигрировал в США, с 1953 проф. Ин та высших исследований в Принстоне. Г. принадлежат ряд важнейших… …
42ИСТИНА — гносеологическая характеристика мышления в его отношении к своему предмету. Мысль называется истинной (или просто И.), если она соответствует своему предмету, т.е. представляет его таким, каков он есть на самом деле. Соответственно, ложной… …
43НЕЙРАТ — (Neurath) Otto (1892 1945) австр. философ, социолог и экономист; видный представитель логического позитивизма, один из организаторов и лидеров Венского кружка. Н. был убежденным антифашистом и демократом, принимал участие в революционных боях… …
44ГИЛЬБЕРТ — (Hubert) Давид (род. 23 янв. 1862, Кенигсберг – ум. 14 февр. 1943, Гёттинген) – нем. математик и логик, профессор в Гёттингене с 1895 по 1936. Создал основополагающие работы по аксиоматике геометрии, арифметики и физики, в которых пытался… …
45АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …
46МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …
47ГИЛЬБЕРТ Давид (1862 - 1943) — германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. Геттингенской математической школы, исследования которого оказали определяющее влияние на развитие математических наук.… …
48Аксиоматическая теория множеств — формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… …
49Аксиоматический метод — способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …
50Математический формализм — одно из основных направлений в основаниях математики, представители которого, следуя Д. Гильберту, считают, что каждый раздел математики может (а на достаточно продвинутой стадии своего построения и должен) быть подвергнут полной… …
