Дэвид Гильберт

(б., акв., кар.) 2018 г.

Гильберт по праву считается математиком номер один ХХ века.
Философ науки и концептуалист, он является разработчиком метаматематики
(теории доказательств), ставшей стержнем современной математической мысли.
Фундаментален и его труд «Основания геометрии» (рус. пер. 1948 г.),
а также выпущенный в соавторстве с Бернайсом «Grundlagen der mathematic»
(1934-39), относящиеся к внутреннему законодательству точных наук солиден
и его вклад в математическую логику, где его идеи поддержали и развили
известные теоретики математической мысли Чёрч, Карнап и Тарский.
Выяснилось, что наука Нового времени является лишь уточнением и детализацией
основополагающих идей Эвклида (включая и «неэвклидовы» геометрии),
и формализация логики не касается установленных в античности «правил игры»:
ещё Платон написал на дверях своей школы: Не знающим геометрии не входить!