小学教育网 发表于 2016-8-13 14:35:45

希尔伯特数学问题及其解决情况(1)


          
          [*]
       
12
                               






（1）康托的连续统基数问题。

    1874年，康托猜测在可数集基数和实数集基数之间没有别的基数，即著名的连续统假设。1938年，侨居美国的奥地利数理逻辑学家哥德尔证明连续统假设与ZF集合论公理系统的无矛盾性。1963年，美国数学家科思（P.Choen）证明连续统假设与ZF公理彼此独立。因而，连续统假设不能用ZF公理加以证明。在这个意义下，问题已获解决。
页: [1]
查看完整版本: 希尔伯特数学问题及其解决情况(1)