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