27 mar 1920 año - Программа обоснования математики Давида Гильберта
Descripción:
Основная идея гильбертовской программы обоснования математики состояла в представлении ее в виде формализованной аксиоматической системы, а затем в доказательстве ее непротиворечивости.Añadido al timeline:
fecha:
27 mar 1920 año
Ahora mismo
~ 105 years ago