Основания математики. Логические исчисления и формализация арифметики.

Перевод с немецкого Н. М. Нагорного. Под редакцией С.И. Адяна. Серия Математическая логика и основания математики.

Давид Гильберт ( 23 января 1862 — 14 февраля 1943) — немецкий математик-универсал, внес значительный вклад в развитие многих областей математики. Член многих академий наук, в том числе Берлинской, Геттингенской, Лондонского королевского общества, иностранный почетный член Академии наук СССР. Лауреат премии имени Н. И. Лобачевского . В 1910—1920-е годы был признанным мировым лидером математиков. Гильберт разработал широкий спектр фундаментальных идей во многих областях математики. Наиболее известны его первая полная аксиоматика евклидовой геометрии и теория гильбертовых пространств, одна из основ современного функционального анализа. Он внес значительный вклад в теорию инвариантов, общую алгебру, математическую физику, интегральные уравнения и основания математики. Пауль Исаак Бернайс (17 октября 1888, Лондон — 18 сентября 1977, Цюрих) — швейцарский математик, известный своими работами в области математической логики, аксиоматической теории множеств и философии математики. Был другом и многолетним сотрудником Давида Гильберта.