发表于2025-01-01
The Limits of Mathematics 2025 pdf epub mobi 电子书
图书标签: 数学 0nemlophics 计算机科学 计算机 美國 數學 nemlophics Gregory_Chaitin
Chaitin用Lisp把算法信息论用到的图灵机写出来了。内容有最短程序的不可判定,停机概率不可压缩且一个程序复杂度为N的形式系统只能确定停机概率至多N+c位是0还是1。停机概率是纯数学中一个完全随机无规律的数,但数学家也不会因此接受Chaitin鼓吹的实验数学吧。
评分Chaitin用Lisp把算法信息论用到的图灵机写出来了。内容有最短程序的不可判定,停机概率不可压缩且一个程序复杂度为N的形式系统只能确定停机概率至多N+c位是0还是1。停机概率是纯数学中一个完全随机无规律的数,但数学家也不会因此接受Chaitin鼓吹的实验数学吧。
评分Chaitin用Lisp把算法信息论用到的图灵机写出来了。内容有最短程序的不可判定,停机概率不可压缩且一个程序复杂度为N的形式系统只能确定停机概率至多N+c位是0还是1。停机概率是纯数学中一个完全随机无规律的数,但数学家也不会因此接受Chaitin鼓吹的实验数学吧。
评分Chaitin用Lisp把算法信息论用到的图灵机写出来了。内容有最短程序的不可判定,停机概率不可压缩且一个程序复杂度为N的形式系统只能确定停机概率至多N+c位是0还是1。停机概率是纯数学中一个完全随机无规律的数,但数学家也不会因此接受Chaitin鼓吹的实验数学吧。
评分Chaitin用Lisp把算法信息论用到的图灵机写出来了。内容有最短程序的不可判定,停机概率不可压缩且一个程序复杂度为N的形式系统只能确定停机概率至多N+c位是0还是1。停机概率是纯数学中一个完全随机无规律的数,但数学家也不会因此接受Chaitin鼓吹的实验数学吧。
The Limits of Mathematics 2025 pdf epub mobi 电子书