Философский словарь
"ГИЛЬБЕРТ"

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

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

Поделитесь с друзьями:

Вы можете поставить ссылку на это слово:

будет выглядеть так: ГИЛЬБЕРТ

будет выглядеть так: Что такое ГИЛЬБЕРТ

Философский словарь"ГИЛЬБЕРТ"

Философский словарь
"ГИЛЬБЕРТ"