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

Descrizione:

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

Aggiunto al nastro di tempo:

Data: