グレゴリー・チャイティン

グレゴリー・チャイティン
2008年のチャイティン
生まれる	(1947-06-25) 1947年6月25日（77歳） シカゴ[1]
国籍	アルゼンチン-アメリカ
知られている	アルゴリズム情報理論 チャイティン定数 チャイティンのアルゴリズム
科学者としてのキャリア
フィールド	生物学 数学 コンピュータサイエンス
機関	モハメッド6世工科大学 リオデジャネイロ連邦大学 ブエノスアイレス大学 IBM TJワトソン研究センター
Webサイト	uba.academia.edu/GregoryChaitin

グレゴリー・ジョン・チャイティン（Gregory John Chaitin / ˈ tʃ aɪ t ɪ n / CHY - tin、1947年6月25日生まれ）は、アルゼンチン出身のアメリカの 数学者、コンピュータ科学者である。1960年代後半から、チャイティンはアルゴリズム情報理論とメタ数学、特にゲーデルの不完全性定理に相当するコンピュータ理論的成果に貢献した。^[2]彼は、アンドレイ・コルモゴロフやレイ・ソロモノフとともに、今日アルゴリズム的（ソロモノフ-コルモゴロフ-チャイティン、コルモゴロフまたはプログラムサイズ）複雑性として知られるものの創始者の一人であると考えられている。ソロモノフ、コルモゴロフ、マルティン-レーフ、レオニード・レビンなどの研究とともに、アルゴリズム情報理論は理論計算機科学、情報理論、数理論理学の基礎部分となった。^{[3] [4]}これはいくつかのコンピュータサイエンスのカリキュラムで共通の科目です。コンピュータ科学者だけでなく、チャイティンの研究は多くの哲学者や数学者の注目を集め、数学的創造性とデジタル哲学の基本的な問題に注目を集めています。

グレゴリー・チャイティンはユダヤ人であり、ブロンクス科学高校とニューヨーク市立大学に通い、そこで（まだ10代だったが）アルゴリズムの複雑性の独自の発見につながる理論を展開した。^{[5] [6]}

チャイティンはチャイティン定数Ωを定義しました。これは、桁が等分布している実数で、ランダム プログラムが停止する確率の表現として非公式に説明されることもあります。Ω には、下からは漸近近似で定義可能(上からは近似できません) ですが、計算可能ではないという数学的特性があります。

チャイティンは、グラフカラーリングを使用してコンパイル時のレジスタ割り当てを行う手法の考案者でもあり、この手法はチャイティンのアルゴリズムとして知られています。^[7]

彼はかつて、ニューヨークにある IBM のトーマス・J・ワトソン研究所の研究員でした。彼は 10 冊以上の著書を執筆しており、それらは約 15 の言語に翻訳されています。彼は現在、メタ生物学の問題と進化論の情報理論的形式化に興味を持っており、モハメッド 6 世工科大学の高等研究院のメンバーです。

チャイティンは哲学、特に形而上学と数学の哲学（特に数学における認識論的事項について）についても執筆しています。形而上学において、チャイティンはアルゴリズム情報理論が生物学（「生命」の正式な定義の取得、その起源と進化）と神経科学（意識の問題と心の研究）の分野における問題を解決する鍵であると主張しています。

最近の著作では、彼はデジタル哲学として知られる立場を擁護している。数学の認識論において、彼は数理論理学とアルゴリズム情報理論における彼の発見が「理由もなく真実であり、偶然に真実である数学的事実」があることを示していると主張している。^{[8]チャイティンは、数学者はそれらの数学的事実を証明するという希望を捨て、}準経験的方法論を採用しなければならないと提案している。

1995年にメイン大学より名誉理学博士号を授与された。2002年には両親の出身でチャイティンが青春時代を過ごしたアルゼンチンのブエノスアイレス大学より名誉教授の称号を贈られた。2007年にはウルフラム・リサーチよりライプニッツメダル^{[9]を授与された。2009年には}コルドバ国立大学より名誉哲学博士号を授与された。以前はIBMのトーマス・J・ワトソン研究所の研究員、リオデジャネイロ連邦大学の教授を務めていた。

哲学者や論理学者の中には、チャイティンが、ある種の基本的な算術的ランダム性であると考えているものに関連する定理から導き出した哲学的結論に反対する者もいる。^[10] 論理学者トルケル・フランツェンは、ゲーデルの不完全性定理に対するチャイティンの解釈と、チャイティンの研究が示すその説明を批判した。^[11]

• 情報、ランダム性、不完全性( World Scientific 1987) (オンライン)
• アルゴリズム情報理論(ケンブリッジ大学出版局1987) (オンライン)
• 情報理論的不完全性( World Scientific 1992) (オンライン)
• 数学の限界( Springer-Verlag 1998) (オンラインアーカイブ 2023年4月25日Wayback Machine )
• The Unknowable ( Springer-Verlag 1999) (オンライン)
• ランダム性の探究( Springer-Verlag 2001) (オンライン)
• 数学者との対話( Springer-Verlag 2002) (オンライン)
• 哲学からプログラムサイズへ（タリン サイバネティクス研究所 2003）
• Meta Math!: The Quest for Omega ( Pantheon Books 2005) (英国ではMeta Maths: The Quest for Omega、Atlantic Books 2006 として再版) ( arXiv :math/0404335)
• 複雑なアルゴリズム(G. Giappichelli Editore 2006)
• ゲーデルとチューリングについて考える( World Scientific 2007) (オンラインアーカイブ 2023 年 4 月 29 日、Wayback Machineより)
• 数学、複雑性、哲学（編集部 Midas 2011）
• ゲーデルの道（CRC Press 2012）
• ダーウィンの証明: 生物学を数学的にする(パンテオンブックス2012) (オンライン)
• 哲学的数学：無限、不完全性、既約性（Academia.edu 2024）（オンライン）

• パガッロ、ウーゴ (2005)、Introduzione alla filosofia digitale。 Da Leibniz a Chaitin [デジタル哲学入門: ライプニッツからチャイティンまで] (イタリア語)、G. Giappichelli Editore、ISBN 978-88-348-5635-2、2011年7月22日時点のオリジナルよりアーカイブ、2008年4月16日閲覧。
• Calude, Cristian S. 編 (2007)、「ランダム性と複雑性。ライプニッツからチャイティンまで」、World Scientific、ISBN 978-981-277-082-0
• ウップルリ、シャム、ドリア、フランシスコ A. 編 (2020)、複雑性の解明: グレゴリー・チャイティンの生涯と業績、ワールド・サイエンティフィック、doi :10.1142/11270、ISBN 978-981-12-0006-9、S2CID  198790362

Wikiquoteにグレゴリー・チャイティンに関する引用句があります。

• GJ Chaitin ホームページ (academia.edu より)
• インターネット アーカイブの UMaine.edu の GJ Chaitin ホームページ (2013 年 10 月 29 日、Wayback Machineにアーカイブ)
• GJ チャイティンの出版物一覧
• メタ生物学の講義ビデオ「進化するソフトウェアとしての生命」YouTube
• 「ライプニッツ、複雑性と不完全性」に関する講義のビデオ
• チャイティン、オメガ、スーパーオメガに関するニューサイエンティストの記事（2001年3月）
• チャイティンの証明の短縮版
• グレゴリー・チャイティンの長編映画インタビューと「なぜ私たちはここにいるのか？」ドキュメンタリーシリーズの記録
• github の Chaitin Lisp