グレゴリー・チャイティンについて
グレゴリー・チャイティン(Gregory "Greg" J. Chaitin)は、
1947年生まれの
アルゼンチン出身の
数学者及び
コンピュータ科学者です。彼は現在アメリカに住んでおり、リオデジャネイロ連邦大学に在籍しています。チャイティンは1960年代に独自の研究を進め、
情報理論の領域で新しい発見をしました。彼の研究は、
クルト・ゲーデルによる不完全性定理と関連性があり、特に
情報理論における決定不可能な命題に注目しました。
チャイティンの提唱した理論、すなわち「チャイティンの定理」では、あらゆる数に対して、理論上で証明できない上限が存在することが示されています。この上限値は、特定の理論の中では、どんな数でも
コルモゴロフ複雑性がこの値を超えないというものです。彼の定理は、ゲーデルが示したようなパラドックスとは異なり、主に
ベリーのパラドックスに関連しています。このように、チャイティンは情報の整理と構造を通じて、数学的な限界を探求する重要な貢献をしてきました。
彼はまた、
1995年に
メイン大学から博士号を授与され、その後、
IBMの
トーマス・J・ワトソン研究所に勤務しました。研究者としてのキャリアを通じて、チャイティンは数多くの著作を発表しており、その中には日本語で訳されている本も多く含まれています。代表的な著作としては、1987年に出版された『Algorithmic Information Theory』や、1998年の『The Limits of Mathematics』などがあります。これらの著作を通じて、彼の思想や研究の成果は多くの人々に影響を与えてきました。
以下は、彼の重要な著作リストです。
- - 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) 邦訳「数学の限界」 黒川利明訳 エスアイビーアクセス 2001年 ISBN 4434011189
- - The Unknowable (Springer-Verlag 1999) 邦訳「知の限界」 黒川利明訳 エスアイビーアクセス 2001年 ISBN 443401238X
- - Exploring Randomness (Springer-Verlag 2001)
- - Conversations with a Mathematician (Springer-Verlag 2002) 邦訳「セクシーな数学」 黒川利明訳 岩波書店 2003年 ISBN 4000062727
- - From Philosophy to Program Size (Tallinn Cybernetics Institute 2003)
- - Meta Math!: The Quest for Omega (Pantheon Books 2005) 邦訳「メタマス!」 黒川利明訳 白揚社 2007年 ISBN 4826901380
- - Thinking about Gödel & Turing (World Scientific, 2007)
- - Proving Darwin: Making Biology Mathematical (Pantheon Books, 2012) 邦訳『ダーウィンを数学で証明する』 水谷淳訳 早川書房 2014 ISBN 4152094478
チャイティンの研究は、数学と
情報理論がいかに結びつくかに関する理解を深めるための鍵となるものです。彼の業績は、今後も多くの研究者に影響を与え続けるでしょう。