аксиоматический метод
71Модель — I Модель (Model) Вальтер (24.1.1891, Гентин, Восточная Пруссия, 21.4.1945, близ Дуйсбурга), немецко фашистский генерал фельдмаршал (1944). В армии с 1909, участвовал в 1 й мировой войне 1914 18. С ноября 1940 командовал 3 й танковой… …
72ТЕОРЕТИЧЕСКОЕ И ЭМПИРИЧЕСКОЕ — принятое в философии науки разделение научного знания и методов науки на два уровня. К эмпирическим методам познания относят наблюдение, измерение и эксперимент; знание, полученное посредством этих методов, называют эмпирическим. Во всех… …
73НЕРАЗРЕШИМОСТЬ — невозможность решения данной задачи точно очерченными средствами. Ниже рассмотрены важнейшие примеры Н. в математике. Алгоритмическая неразрешимость. В различных областях математики возникают проблемы, в к рых требуется найти единую механич.… …
74НЕЙМАН Джон — (полн. Джон фон Нейман, John von Neumann) (3 декабря 1903, Будапешт 8 февраля 1957, Вашингтон), американский математик и физик, автор трудов по функциональному анализу, квантовой механике, логике, метеорологии. Нейман внес большой вклад в… …
75ТЕОРИЯ ПОЗНАНИЯ (гносеология) — составная часть рус. философской мысли на протяжении всей ее истории, значимость и удельный вес к рой возрастали но мере достижения последней более высоких ступеней зрелости. В качестве относительно самостоятельной области философского… …
76ЭЛЛИНИСТИЧЕСКИЙ ЭТАП АНТИЧНОЙ НАТУРФИЛОСОФИИ — –развитие науки в Древней Греции периода упадка цивилизации, приблизительно сIII в. до н.э. по IV в. н.э., когда возникают центры научной и духовной жизни. Этот период – время существования македонской державы, правители которой впервые начали… …
77Теория познания — (гносеология) составная часть философии и рус. философской мысли на протяжении всей ее истории, значимость к рой возрастала по мере достижения последней более высоких ступеней зрелости. В качестве относительно самостоятельной области… …
78ДЕДУКЦИЯ — (от лат. deductio выведение) вывод по правилам логики; цепь умозаключений (рассуждение), звенья которой (высказывания) связаны отношением логического следования. Началом (посылками) дедукции являются аксиомы, постулаты или просто гипотезы,… …
79Аксиома — (греч. axíōma удостоенное, принятое положение, от axióō считаю достойным) положение некоторой данной теории, которое при дедуктивном построении этой теории не доказывается в ней, а принимается за исходное, отправное, лежащее в основе… …
80Аксиоматическая теория множеств — формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… …