Аксиомы принадлежности

Смотреть что такое "Аксиомы принадлежности" в других словарях:

• Аксиоматика Гильберта — Аксиоматика Гильберта  система аксиом евклидовой геометрии. Разработана Гильбертом как более полная, нежели система аксиом Евклида. Содержание 1 Неопределяемые понятия 2 Аксиомы …   Википедия

• Система аксиом фон Неймана — Cистема аксиом фон Неймана  Бернайса  Гёделя (NBG, аксиоматика Гёделя  Бернайса) в метаматематике  одна из основных аксиоматических теорий множеств. Эта система является расширением канонической теории Цермело  Френкеля с …   Википедия

• АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

• ЛОГИЦИЗМ — концепция, сводящая математику к логике. Согласно Л., логика и математика соотносятся между собой как части одной и той же науки: математика может быть получена из чистой логики без введения дополнительных основных понятий или дополнительных… …   Философская энциклопедия

• Дескрипционная логика — Описательные логики[1] или дескрипционные логики[2][источник не указан 861 день](сокр. ДЛ, англ. description logics, иногда используется неточный перевод: дескриптивные логики)  семейство языков представления знаний …   Википедия

• ГИЛЬБЕРТ — (Hubert) Давид (1862 1943) германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. Геттингенской математической школы, исследования которого оказали определяющее влияние на… …   История Философии: Энциклопедия

• ГИЛЬБЕРТ Давид (1862 - 1943) — германский математик, логик, философ, руководитель одного из основных центров мировой математической науки первой трети 20 в. Геттингенской математической школы, исследования которого оказали определяющее влияние на развитие математических наук.… …   История Философии: Энциклопедия

• Геометрия — (греч. geometria, от ge Земля и metreo мерю)         раздел математики, изучающий пространственные отношения и формы, а также другие отношений и формы, сходные с пространственными по своей структуре.          Происхождение термина «Г. , что… …   Большая советская энциклопедия

• логицизм —         ЛОГИЦИЗМ одно из трех главных направлений в основаниях математики наряду с интуиционизмом и формализмом. Основоположником Л. можно считать И. Канта, который рассматривал логику как априорно данную, а математические утверждения как… …   Энциклопедия эпистемологии и философии науки

• МНОГОМЕРНАЯ ГЕОМЕТРИЯ — геометрия пространств размерности, большей трех; термин применяется к тем пространствам, геометрия к рых была первоначально развита для случая трех измерений и только потом обобщена на число измерений n>3, прежде всего евклидово пространство,… …   Математическая энциклопедия