Поиск в словарях
Искать во всех

Советский философский словарь - гильберт хильберт давид

 

Гильберт хильберт давид

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

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

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

Рейтинг статьи:
Комментарии:

Вопрос-ответ:

Что такое гильберт хильберт давид
Значение слова гильберт хильберт давид
Что означает гильберт хильберт давид
Толкование слова гильберт хильберт давид
Определение термина гильберт хильберт давид
gilbert hilbert david это
Ссылка для сайта или блога:
Ссылка для форума (bb-код):

Самые популярные термины