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