Гільберт, Давід
Гільберт, Давід (1862, Велау, поблизу Кенігсберга - 1943) - нім. математик і логік. Навчався у Кенігсберзькому ун-ті, після закінчення якого захистив докт. дис. (1884). Проф. Кенігсберзького та Геттингенського ун-тів. У 1899 р. були опубліковані знамениті лекції Г. "Основи геометрії", в яких геометрія Евкліда вперше була представлена у вигляді строго побудованої аксіоматичної теорії. Г. належить фундаментальна програма обґрунтування математики, яка в основному була ним сформульована до 1922 р. і детально потому розгорнута у двох томах "Основ математики". Головним об'єктом дослідження в цій праці є математичне доведення. Г. мав намір здійснити свою програму в два етапи. На першому етапі уся математика мала бути повністю формалізована, тобто представлена у вигляді формальної системи, із аксіом якої можна було б вивести основи математичного знання. Другий етап стосувався обґрунтування несуперечливості цієї формальної системи. Математичні доведення Г. пропонував досліджувати за допомогою засобів метаматематики, наполягаючи при цьому на фінітності її методів. Хоча теореми Геделя про неповноту та несуперечливість показали принципову нездійсненність задумів Г., проте вся подальша робота логіків та математиків над логічними основами математичного знання спиралася на вчення Г. про метаматематику. Розробляючи її проблематику, Г. та його послідовники зробили великий внесок в становлення сучасної логіки, зокрема, класичної логіки висловлювань та логіки предикатів.

Основні твори: "Основи геометрії" (1899); "Головні особливості теоретичної логіки" (1928); "Основи математики", у співавт. В 2 т. (1934, 1939) та ін.