27 März 1920 Jahr - Программа обоснования математики Давида Гильберта
Beschreibung:
Основная идея гильбертовской программы обоснования математики состояла в представлении ее в виде формализованной аксиоматической системы, а затем в доказательстве ее непротиворечивости.
Zugefügt zum Band der Zeit:
Datum: