mar 27, 1920 - Программа обоснования математики Давида Гильберта
Description:
Основная идея гильбертовской программы обоснования математики состояла в представлении ее в виде формализованной аксиоматической системы, а затем в доказательстве ее непротиворечивости.Added to timeline:
Date:
mar 27, 1920
Now
~ 105 years ago