27 mar 1920 ano - Программа обоснования математики Давида Гильберта

Descrição:

Основная идея гильбертовской программы обоснования математики состояла в представлении ее в виде формализованной аксиоматической системы, а затем в доказательстве ее непротиворечивости.

Adicionado na linha do tempo:

Data: