ГИЛЬБЕРТ ПОРРЕТАНСКИЙГильбертово пространство

ГИЛЬБЕРТ, Хильберт Давид

Найдено 1 определение:

ГИЛЬБЕРТ, Хильберт Давид

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

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

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

Оцените определение:
↑ Отличное определение
Неполное определение ↓

Источник: Советский философский словарь

Найдено схем по теме ГИЛЬБЕРТ, Хильберт Давид — 0

Найдено научныех статей по теме ГИЛЬБЕРТ, Хильберт Давид — 0

Найдено книг по теме ГИЛЬБЕРТ, Хильберт Давид — 0

Найдено презентаций по теме ГИЛЬБЕРТ, Хильберт Давид — 0

Найдено рефератов по теме ГИЛЬБЕРТ, Хильберт Давид — 0