27 mars 1920 - Программа обоснования математики Давида Гильберта
Description:
Основная идея гильбертовской программы обоснования математики состояла в представлении ее в виде формализованной аксиоматической системы, а затем в доказательстве ее непротиворечивости.Ajouté au bande de temps:
Date:
27 mars 1920
Maintenaint
~ Il y a 105 ans