- Аксиомы принадлежности
-
Wikimedia Foundation. 2010.
Аксиоматика Гильберта — Аксиоматика Гильберта система аксиом евклидовой геометрии. Разработана Гильбертом как более полная, нежели система аксиом Евклида. Содержание 1 Неопределяемые понятия 2 Аксиомы … Википедия
Система аксиом фон Неймана — Cистема аксиом фон Неймана Бернайса Гёделя (NBG, аксиоматика Гёделя Бернайса) в метаматематике одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело Френкеля с … Википедия
АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… … Математическая энциклопедия
ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… … Философская энциклопедия
Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики) семейство языков представления знаний … Википедия
ГИЛЬБЕРТ — (Hubert) Давид (1862 1943) германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. Геттингенской математической школы, исследования которого оказали определяющее влияние на… … История Философии: Энциклопедия
ГИЛЬБЕРТ Давид (1862 - 1943) — германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. Геттингенской математической школы, исследования которого оказали определяющее влияние на развитие математических наук.… … История Философии: Энциклопедия
Геометрия — (греч. geometria, от ge Земля и metreo мерю) раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре. Происхождение термина «Г. , что… … Большая советская энциклопедия
логицизм — ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… … Энциклопедия эпистемологии и философии науки
МНОГОМЕРНАЯ ГЕОМЕТРИЯ — геометрия пространств размерности, большей трех; термин применяется к тем пространствам, геометрия к рых была первоначально развита для случая трех измерений и только потом обобщена на число измерений n>3, прежде всего евклидово пространство,… … Математическая энциклопедия