エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
先月の日経サイエンスに、 『ゲーデルを超えて オメガ数が示す数学の限界』というの記事がありました。... 先月の日経サイエンスに、 『ゲーデルを超えて オメガ数が示す数学の限界』というの記事がありました。 数学は有限個の原理(公理)からすべての数学的真理(定理)を演繹できるというヒルベルトの立場は、ゲーデルの不完全性定理によって覆された。つまり、ゲーデルは数学(十分強力な形式的体系)には、それ自身では証明できない定理が存在するということを示したのであった。ゲーデルは自己言及のパラドックスによりそのことを示したが、さらに数学で証明できない定理は無数に存在するということを示すのがオメガ数である。 オメガ数とは すべてのプログラムの集合を考える。そのなかから一つプログラムを選んで、それがいずれ停止するプログラムである確率がオメガ数である。Nビット以下のプログラムならばたかだかN回の計算量で停止するか否かを判断できる。たとえば3ビットのプログラムの集合のなかで停止するのは110(二進数表記)だけだった