>>440
>いっとくけど、述語論理の場合
>定理でない式は手続きが停止しないから
>気をつけてね
>これ、ゲーデルの不完全性定理の系だから
>定理なら必ず証明できるのが完全性定理
>定理か否か決定する手続きが存在しないのが非決定性

戻る

・懐かしいな
　学部時代に、いまはなきbit誌を 毎月愛読していた（書店の立ち読みだったｗ ；ｐ）
　（また たまに買っていたｗ ；ｐ）
・そこで何度かチューリングマシンの停止問題と、ゲーデルの不完全性定理が関係しているという
　話題が出た
・ゲーデルの不完全性定理については、高校時代に解説本を読んだ
　専門書ではないけどね
・因みに
　ε-δも高校時代に、自学自習した

数学科のオチコボレさんが
チューリングマシンの停止問題
ゲーデルの不完全性定理
ε-δ・・・

これら
ハナクソみたいなことを、シッタカ自慢しているｗ
基礎論婆ことおサルさん
滑稽だよｗｗ ；ｐ）

アマゾン
【電子復刻版】bit 1969年03月号(通巻1号) Kindle版
石田晴久 (編集), 竹内郁雄 (編集)
1969年に創刊されたコンピューターサイエンス誌で、2001年に休刊になるまで約500号が発行されています。今回は、このうち月刊誌386冊をイースト株式会社が行っている技術雑誌電子復刻プロジェクトを通じて電子的に復刻しました。インパクトのあるbitの表紙が今電子で甦りました。懐かしい特集を、記事を、手にとるように読むことができます。