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