27 март 1920 г. - Программа обоснования математики Давида Гильберта
Описание:
Основная идея гильбертовской программы обоснования математики состояла в представлении ее в виде формализованной аксиоматической системы, а затем в доказательстве ее непротиворечивости.Добавлено на ленту времени:
Дата:
27 март 1920 г.
Сейчас
~ 105 г назад