巨大数探索スレッド12at MATH
巨大数探索スレッド12
- 暇つぶし2ch546:間違えてない？ 再帰関数すべてを支配できる公理をもってないと証明はできないだろう。しかし1階述語論理の 完全性から、理論と言うか、1階述語論理、より限定してFOSTによって記述された定義からその まま証明できるはずなんだ。 逆にメタな視点からみてビジービーバー関数の全域性が成り立たないってどういうことだろう n状態のチューリングマシンは全部で有限個存在し、停止するか停止しないかのどちらかで あって、停止しないものは除く。停止するチューリングマシンも有限だけ存在するのであれば 出力する値の最大値が存在する。
次ページ続きを表示1を表示最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch