ГИЛЬБЕРТ

, Хильберт (Hubert) Давид (23. 1. 1862, Велау, близ Кенигсберга, - 14.2.1943, Гёттин-ген), нем. математик и логик. Осн. труды в области оснований математики и математич. логики. В 1899 дал строго аксиоматич.

построение геометрии Евклида, предопределившее дальнейшее развитие исследований по аксиоматизации науч. знания. Г. выдвинул обширный план обоснования математики путём её полной формализации («Основания математики», совм. с VI. Бернай-сом, т. 1—2, 1934—39, рус. пер. — т. 1, 1979), однако программа Г. оказалась невыполнима. Подход Г. к обоснованию математики привёл к появлению формализма, а также нового раздела математики— метаматематики (теории доказательств). Г. принадлежит ряд важных работ в области исчисления высказываний и исчисления предикатов.

• в рус. пер.: Основы теоретич. логики, М., 1947 (совм. с В. Аккерманом); Основания геометрии, М.— Л., 1948.

• Pид К., Г., пер. с англ., М., 1977 (с приложением обзора Г. Вейля математич. тр. Гильберта).

<< | >>

↑

Источник: Федосеев, Ильичев. Философский энциклопедический словарь. 1986

Еще по теме ГИЛЬБЕРТ:

- Архитектура и строительство - Безопасность жизнедеятельности - Библиотечное дело - Бизнес - Биология - Военные дисциплины - География - Геология - Демография - Диссертации России - Естествознание - Журналистика и СМИ - Информатика, вычислительная техника и управление - Искусствоведение - История - Культурология - Литература - Маркетинг - Математика - Медицина - Менеджмент - Педагогика - Политология - Право России - Право України - Промышленность - Психология - Реклама - Религиоведение - Социология - Страхование - Технические науки - Учебный процесс - Физика - Философия - Финансы - Химия - Художественные науки - Экология - Экономика - Энергетика - Юриспруденция - Языкознание -