Словари:

Реклама:



главная->Философский словарь-> ГИЛЬБЕРТ

ГИЛЬБЕРТ

ГИЛЬБЕРТ Давид (1862—1943) — нем. математик и логик, основатель Геттингенской математической школы. Осн. работы Г. относятся к теории алгебраических инвариантов, теории алгебраических чисел, к основаниям математики и математической логики. В работе “Основания геометрии” (1899) Г. строго аксиоматически построил геометрию Евклида, что в значительной степени предопределило дальнейшее развитие исследований по аксиоматизации научного знания (Аксиоматический метод^). Большое значение имеют работы Г. в области исчисления высказываний и исчисления предикатов. В начале 20 в. Г. сформулировал основы нового подхода к обоснованию математики, к-рый привел, с одной стороны, к появлению концепции формализма в основаниях математики, а с др.— к возникновению нового раздела математики — метаматематики (теории доказательств).

[ Главная  | Написать нам  | Добавить в избранное   |  ]
Copyright © 2005 - 2013 slovari.info         
в начало страницы