結果 · セクシーな数学―ゲーデルから芸術・科学まで · セクシーな数学―ゲーデルから芸術・科学まで · ダーウィンを数学で証明する · ダーウィンを数学で証明する.
チャイティンは、どんな無矛盾な理論でも「s がランダムである」という命題は有限個の数列 s についてしか証明できないこと、換言すれば「s がランダムである」という真な ...
チャイティンの定数(チャイティンのていすう、英: Chaitin's constant)は、計算機科学の一分野であるアルゴリズム情報理論の概念で、非形式的に言えば無作為に選択され ...
2023/11/03 · 難解な本チャイティンの本を2冊持っています。「数学の限界」と「知の限界」です。いずれも難解です。というか、説明が不足しているように思います。