ハイキング中
グレゴリー・チャイティン (Gregory "Greg" J. Chaitin, 1947年 - )は、アルゼンチン 出身、アメリカ 在住の数学者 、コンピュータ 科学者。
1960年代に情報理論 の分野に、ゲーデル の不完全性定理 とよく似た現象を見いだす。つまり、その分野上での決定不可能な命題を発見し別種の不完全性定理を得た。チャイティンの定理によると、十分な算術を表現可能などのような理論においても、いかなる数であろうともcよりも大きなコルモゴロフ複雑性 を有することがその理論上では証明できないような、上限 c が存在する。ゲーデルの定理が嘘つきのパラドックス と関係しているのに対し、チャイティンの結果はベリーのパラドックス に関係している。
1995年 に、メイン大学 から博士号 を授与される。IBM のトーマス・J・ワトソン研究所 に勤務した後、現在はリオデジャネイロ連邦大学 に在籍。
幾つかの本を執筆しており、日本語に訳されている。
著作
Algorithmic Information Theory , (Cambridge University Press , 1987)
Information, Randomness & Incompleteness , (World Scientific , 1987)
Information-Theoretic Incompleteness , (World Scientific , 1992)
The Limits of Mathematics , (Springer-Verlag 1998)
The Unknowable , (Springer-Verlag 1999)
Exploring Randomness , (Springer-Verlag 2001)
Conversations with a Mathematician , (Springer-Verlag 2002)
From Philosophy to Program Size , (Tallinn Cybernetics Institute 2003)
Meta Math!: The Quest for Omega , (Pantheon Books 2005)
Thinking about Gödel & Turing , (World Scientific , 2007)
Proving Darwin: Making Biology Mathematical , (Pantheon Books, 2012)
関連項目
外部リンク