Бар-Хиллел это:

Бар-Хиллел
(Bar-Hillel)
        Иегошуа (р. 1915, Вена), израильский логик и математик. Основные работы относятся к логическим и математическим аспектам общей теории языка, математической лингвистике и автоматическому переводу. Б. предложил использовать для описания синтаксической структуры естественных языков категориальные грамматики, разработанные польскими логиками С. Лесьневским и К. Айдукевичем применительно к формальным языкам математики. Работы Б. по автоматическому переводу способствовали уяснению лингвистических (особенно семантических) трудностей автоматизации перевода.
         Соч.: Language and information. Selected essays on their theory and application, Reading (Mass.) — Jerusalem, 1964.
         А. В. Гладкий.

Большая советская энциклопедия. — М.: Советская энциклопедия. 1969—1978.

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

  • Бар-Хиллел Иегошуа — Бар Хиллел (Bar Hillel) Иегошуа (р. 1915, Вена), израильский логик и математик. Основные работы относятся к логическим и математическим аспектам общей теории языка, математической лингвистике и автоматическому переводу. Б. предложил использовать… …   Большая советская энциклопедия

  • УНИВЕРСАЛИИ — (от лат. universalis общий) общие понятия. В филос. проблеме онтологического и гносеологического статуса У. ставится вопрос о том, что такое реальное бытие, каким образом существует идеальное, как возможно рациональное понятийное познание, как… …   Философская энциклопедия

  • ФИНИТИЗМ —         (лат. finitus определённый, ограниченный, законченный), методологич. установка в теории доказательств, возникшая в нач. 20 в. в работах Гильберта и его школы с целью обоснования непротиворечивости теоретико множеств. математики. Программа …   Философская энциклопедия

  • Парадокс Рассела — Парадокс Рассела  открытый в 1901 году[1] Бертраном Расселом и позднее независимо переоткрытый Э. Цермело теоретико множественный парадокс, демонстрирующий противоречивость логической системы Фреге, являвшейся ранней попыткой формализации… …   Википедия

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

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

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

  • Грамматика формальная — (в лингвистике)         логическая система, или исчисление, задающая некоторое множество («правильных») цепочек (= конечных последовательностей), построенных из символов заданного конечного набора, называемого «алфавитом» или «основным… …   Большая советская энциклопедия

  • Френкель, Абрахам — Абрахам Галеви (Адольф) Френкель ивр. אברהם הלוי (אדולף) פרנקל‎ нем. Abraham Halevi (Adolf) Fraenkel …   Википедия

  • Аксиоматическая теория множеств —         формулировка множеств теории (См. Множеств теория) в виде формальной (аксиоматической) системы (см. Аксиоматический метод). Основным побудительным стимулом для построения А. т. м. явилось открытие в «наивной» теории множеств Г. Кантора.… …   Большая советская энциклопедия

Книги



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

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