mixiで趣味の話をしよう

mixiコミュニティには270万を超える趣味コミュニティがあるよ
ログインもしくは登録をして同じ趣味の人と出会おう♪

ホーム > コミュニティ > 学問、研究 > グレゴリー・チャイティン

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

  • mixiチェック
  • このエントリーをはてなブックマークに追加

コミュ内全体

詳細 2015年4月17日 13:34更新

ゲーデルがかつて「不完全性定理」を自然数論という限定された公理系で示したのを、

数学そのものメタ記述言語であるLISPという計算機言語を利用して数学全般で提示。



【関連リンク 日本語】
不完全性定理のLisp, Mathematicaによる記述
http://www.unfindable.net/~yabuki/article/unknowable/


List of Publications of G J Chaitin
http://cs.umaine.edu/~chaitin/complete.html



A one-page proof of Chaitin's theorem
http://www.flownet.com/gat/chaitin.html



Articles by G.Chaitin
http://front.math.ucdavis.edu/author/G.Chaitin



Chaitin in BBC Four TV program Dangerous Knowledge, August 8th
http://www.becauseyouthink.tv/shop/video_clip.asp?pguid={DF85CBE0-4932-4686-98DD-A9270BEAF0D9}





【公式ページ】
G J Chaitin Home Page
http://www.umcs.maine.edu/~chaitin/#News

コミュニティにつぶやきを投稿

最近の投稿がありません泣き顔
つぶやき・トピック・イベント・アンケートを作成して参加者と交流しようわーい(嬉しい顔)
参加メンバー 37人

もっと見る

開設日
2007年8月29日

3617日間運営

カテゴリ
学問、研究
関連ワード
関連ワードを登録しよう

編集から関連ワードを登録すると、コミュニティがmixiワードに表示されるようになります!