The Limits of Mathematics pdf epub mobi txt 电子书 下载 2025
- 数学
- 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鼓吹的实验数学吧。
相关图书
本站所有内容均为互联网搜索引擎提供的公开搜索信息，本站不存储任何数据与内容，任何内容与数据均与本站无关，如有需要请联系相关搜索引擎包括但不限于百度，google,bing,sogou 等
© 2025 book.quotespace.org All Rights Reserved. 小美书屋 版权所有