Бар-Хиллел Иегошуа — Бар Хиллел (Bar Hillel) Иегошуа (р. 1915, Вена), израильский логик и математик. Основные работы относятся к логическим и математическим аспектам общей теории языка, математической лингвистике и автоматическому переводу. Б. предложил использовать… … Большая советская энциклопедия
УНИВЕРСАЛИИ — (от лат. universalis общий) общие понятия. В филос. проблеме онтологического и гносеологического статуса У. ставится вопрос о том, что такое реальное бытие, каким образом существует идеальное, как возможно рациональное понятийное познание, как… … Философская энциклопедия
ФИНИТИЗМ — (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа … Философская энциклопедия
Парадокс Рассела — Парадокс Рассела открытый в 1901 году[1] Бертраном Расселом и позднее независимо переоткрытый Э. Цермело теоретико множественный парадокс, демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации… … Википедия
множеств теория — МНОЖЕСТВ ТЕОРИЯ учение о множествах, зародившееся в середине 19 в. и изучающее свойства множеств произвольной природы. Создание М. т. было подготовлено работами математиков, ставивших целью разработку оснований анализа. Первые работы в… … Энциклопедия эпистемологии и философии науки
ИНТУИЦИОНИЗМ — совокупность философских и математич. идей и методов, рассматривающих математику как науку об умственных построениях. С точки зрения И., основным критерием истинности математич. суждения является интуитивная убедительность возможности построения… … Математическая энциклопедия
КОНСТРУКТИВНАЯ МАТЕМАТИКА — конструктивное направление в математике, математика, строящаяся в соответствии с тем или иным конструктивным математич. мировоззрением, обыкновенно стремящимся связывать утверждения о существовании математнч. объектов с возможностью их построения … Математическая энциклопедия
Грамматика формальная — (в лингвистике) логическая система, или исчисление, задающая некоторое множество («правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого «алфавитом» или «основным… … Большая советская энциклопедия
Френкель, Абрахам — Абрахам Галеви (Адольф) Френкель ивр. אברהם הלוי (אדולף) פרנקל нем. Abraham Halevi (Adolf) Fraenkel … Википедия
Аксиоматическая теория множеств — формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… … Большая советская энциклопедия