33
/
AIzaSyAYiBZKx7MnpbEhh9jyipgxe19OcubqV5w
August 1, 2025
4644332
434468
2

jan 1, 1931 - Теорема о неполноте символических логик

Description:

Доказательство Куртом Гёделем теоремы о неполноте формальных систем

Added to timeline:

15 Nov 2020
0
0
1371

Date:

jan 1, 1931
Now
~ 94 years ago