Lisp Scheme Part19
at TECH
141:デフォルトの名無しさん
08/01/16 23:37:03
>>139
その入れ子になっている計算が無限に続いた入れ子と仮定して、その計算はいつか止まるのかという意味になっている。
それがチューリングの停止性問題だ。1931年にゲーデルがやったことを1937年にチューリングがチューリングマシンで説明した問題。
それをチャイティンはLispで書いてみたってこと。チューリングの停止性問題でｸﾞｸﾞﾚばわかりやすい説明が見つかるだろう。
（チャイティンにケチをつけるわけじゃないが、無限のメモリがないと同じことにはならない）
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
5369日前に更新/210 KB
担当:undef