аксиома конструктивности

мат. axiom of constructibility

Большой англо-русский и русско-английский словарь. 2001.

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

  • КОНСТРУКТИВНОЕ ПО ГЁДЕЛЮ МНОЖЕСТВО — множество, возникающее в описанном ниже процессе построения множеств. Пусть X множество и X. Рассмотрим язык 1 й ступени L(R, X), содержащий один 2 местный предикатный символ, обозначающий отношение R, и индивидные константы, обозначающие… …   Математическая энциклопедия

  • СУСЛИНА ГИПОТЕЗА — гипотеза, утверждающая, что всякое линейно упорядоченное множество без первого и последнего элементов, являющееся полным, плотным и удовлетворяющее условию Суслина, изоморфно действительной прямой. При этом полнота означает существование точной… …   Математическая энциклопедия

  • ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика …   Философская энциклопедия

  • аксиоматический метод —         АКСИОМАТИЧЕСКИЙ МЕТОД (от греч. axioma) принятое положение способ построения научной теории, при котором в доказательствах пользуются лишь аксиомами, постулатами и ранее выведенными из них утверждениями. Впервые ярко продемонстрирован… …   Энциклопедия эпистемологии и философии науки

  • ГЁДЕЛЬ — (Gödel) Курт (1906 1978) математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях… …   История Философии: Энциклопедия

  • ОПРЕДЕЛЕНИЕ — дефиниция (лат. defenitio ограничение) логическая операция, раскрывающая содержание понятия. Напр., обычное определение термометра указывает, что это, во первых, прибор и, во вторых, именно тот, с помощью которого измеряется температура. Важность …   Философская энциклопедия

  • ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… …   Математическая энциклопедия

  • интуиционизм —         ИНТУИЦИОНИЗМ одно из трех главных направлений (наряду с логицизмом и формализмом), традиционно выделяемых в основаниях математики. Для общей характеризации направлений, выросших из И., часто пользуются термином «конструктивизм». Поэтому… …   Энциклопедия эпистемологии и философии науки

  • ГЁДЕЛЬ Курт (1906 - 1978) — математик и логик, член Национальной Академии наук США и Американского философского общества, автор фундаментального открытия ограниченности аксиоматического метода и основополагающих работ в таких направлениях математической логики, как теория… …   История Философии: Энциклопедия

  • МЕТОД — (от греч. methodos путь, способ исследования, обучения, изложения) совокупность приемов и операций познания и практической деятельности; способ достижения определенных результатов в познании и практике. Применение того или иного М. определяется… …   Философская энциклопедия

Книги

Другие книги по запросу «аксиома конструктивности» >>

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.