问题标题:
世界上最难的23道数学题是什么
问题描述:

世界上最难的23道数学题是什么

马晋毅回答:
  1938年,哥德尔证明了连续统假设和世界公认的策梅洛–弗伦克尔集合论公理系统的无矛盾性.1963年,美国数学家科亨证明连续假设和策梅洛–伦克尔集合论公理是彼此独立的.因此,连续统假设不能在策梅洛–弗伦克尔公理体系...
查看更多
数学推荐
热门数学推荐