中文
Sign in
AI tools
热门问题
时间线
聊天
Loading AI tools
全部
文章
字典
引用
地图
Gregory Chaitin
来自维基百科,自由的百科全书
Found in articles
算法信息论
算法信息论(Algorithmic information theory)是使用理论计算机科学的工具,研究复杂性概念的学科领域。它是信息理論的一環,关注計算與信息之間的關係。按照
Gregory
Chaitin
的说法,它是“把香农的信息论和图灵的可计算论放在调酒杯使劲摇晃的结果。”
再具体化
再具体化(英語:Rematerialization)是一种编译器优化技术,首先由格里高利·柴廷(
Gregory
J.
Chaitin
)等人于1981年提出并且被实现于PI.8编译器中。其通过重新计算某个值而不是从内存中加载该值的手段,来缩短程序运行时间。该技术可见于GCC等现代编译器中。
元数学
Skolem),普斯特(Emil Post),邱奇,克莱尼,蒯因,贝纳瑟拉夫(Paul Benacerraf),普特南,柴汀(
Gregory
Chaitin
),以及最著名的塔斯基和哥德尔。特别地,哥德尔证明了:给定任意有限多条皮亚诺算术的公理,都存在一些正确的命题,无法用所给公理来证明,即
計算資源
在正式量化计算能力方面已经有了一些努力。有界图灵机已经被用来为特定的计算建模,使用状态转换的数量和字母大小来量化解决一个特定问题所需的计算努力。
Gregory
J.,
Chaitin
. On the Length of Programs for Computing Finite Binary Sequences
可計算數
n}\leq a\leq {f(n)+1 \over n}} 非可計算的實數即為不可計算數。1975年,計算機學家格里高里·柴廷(英语:
Gregory
Chaitin
)做了一個有趣的實驗:選擇任意一種程式語言,隨意輸入一段程式碼,該程式碼能夠成功運行並且能夠在有限時間內終止的機率即為柴廷常數,這個數為一個經典的不可計算數。