世界上最难得题是什么数学之最：世界上最难的23道数学题1．连续统假设1874年，康托猜测在可列集基数和实数基数之间没有别的基数，这就是著名的连续统假设。1938年，哥德尔证明了连续统假设和世界公认的策梅洛–弗伦克尔集合论公理系统的无矛盾性。1963年，美国数学家科亨证明连续假设和策梅洛–伦克尔集合论公理是彼此独立的。因此，连续统假设不能在策梅洛–弗伦克尔公理体系内证明其正确性与否。希尔伯特第1问题在这个意义上已获解决。2．算术公理的相容...
无限重复博弈里的无名氏定理到底说明了什么?在无限重复中，行为规则可以用自动机来代表，于是不同行为规则的 相争，便成了机器与机器的角斗。假设甲和乙玩无限重复的囚犯博奕。甲 相信《美德的起源》一书作者的教导，认定仁厚忠恕既高尚又有效，于是 以它为策略。乙信奉理性流氓主义，崇尚实力和实利，于是以流氓主义为 策略。这样，二人间的博弈，就可以看作恕道机器与流氓机器的争斗。根 据上一贴中列出的框图，我们可以推演出各个回合双方的行为如下： 第一回合，...
求集合论中所有的公理与定义这个取决于1，2的定义。不过一般不会求所谓“元素集合”的广义并，在使用中总是有背景的，所以求广义并也是有意义的。 比如在集合论中自然数的一个常见定义是： 0 = 空集， 1 = 0 ∪ {0} = {空集}， 2 = 1 ∪ {1} = {空集, {空集}} …… 于是 ∪A = {空集, {空集}} = 2． 当然因为自然数也可以不按上述方法定义（自然数的形式化定义是Peano公理系统，上面...
初中数学公理是什么1.过两点有且只有一条直线 2.两点之间线段最短 3.同角或等角的补角相等 4.同角或等角的余角相等 5.过一点有且只有一条直线和已知直线垂直 6.直线外一点与直线上各点连接的所有线段中，垂线段最短 7.平行公理：经过直线外一点，有且只有一条直线与这条直线平行 8.如果两条直线都和第三条直线平行，这两条直线也互相平行 9.同位角相等，两直线平行 10...