dec 29, 1931 - Курт Гёдель
Description:
В 1931 году Курт Гёдель опубликовал две свои теоремы о неполноте, которые установили ограниченность математической логики. Это положило конец замыслу Давида Гильберта создать полную и непротиворечивую систему оснований математики.Added to timeline:
Date:
dec 29, 1931
Now
~ 94 years ago