Mar 22, 2017   

希尔伯特(David Hilbert)在1928年提出了三个关于任意数学形式系统(formal system of mathematics)的基本问题: (1) 这个系统的规  ... Read more