75
61 ななしのよっしん
2019/09/04(水) 00:24:52 ID: Rky/xTzpMB
いろんなものがチューリング完全なのはわかった
じゃあそんな計算機がたくさんつくれる宇宙ってチューリング完全なの?ってSFな疑問が
62 ななしのよっしん
2019/09/06(金) 03:27:41 ID: 9F4SJMdR/H
宇宙はチューニング完全だと思うぞ
現にコンピューターを再現できているからな
63 ななしのよっしん
2019/11/25(月) 21:26:26 ID: +ObWcAYyfz
人間の脳はチューリング完全?
コンピューターで解けない問題は人間でも解けない?
64 ななしのよっしん
2019/11/25(月) 21:48:43 ID: R68CisMbb5
↑そう考えている研究者もいる。一方でチューリングマシンを超えうる可能性を持つ仮説上のモデル「神託機械」として脳をとらえようとする考えもある。
65 ななしのよっしん
2019/12/14(土) 23:31:31 ID: lLE6l/nK/r
チューリング完全かどうかってのは、審判(ルール)が信用できるかどうかってことだと考えれば理解しやすい
審判の気分次第で裁定が変わっちゃったり、やる気を無くして職務放棄するようなものはチューリング完全では無い
66 ななしのよっしん
2019/12/14(土) 23:37:47 ID: 3uy1H/ufYH
チューリング完全であることに意味があるものでもない限り、チューリング完全ですとか言われてもだからどうしたと思ってしまう。
67 削除しました
削除しました ID: GBzbWymJoD
削除しました
68 ななしのよっしん
2020/06/08(月) 18:55:09 ID: azaqMJ9pRv
BABA IS YOUもチューリング完全だったんだ...
69 ななしのよっしん
2020/12/04(金) 19:26:17 ID: Y9+EC7BwYJ
現実のコンピュータとノイマン型コンピュータはイコールではない。ほとんどがノイマン型なだけで、非ノイマンでもコンピュータは作れる。そこは嘘ついちゃダメ。
70 ななしのよっしん
2020/12/04(金) 20:59:22 ID: R68CisMbb5
ちなみにインテルのCPUの内部は命令とデータが分離した「ハーバード・アーキテクチャ」と言う非ノイマン型構造だ。
71 ななしのよっしん
2021/01/04(月) 14:12:32 ID: aiNzcTVO5O
「Aを利用して、あるプログラムが停止すると分かったら自身は暴走し、暴走すると分かったら自身は停止するプログラムBを作ることができる。」という表現では、入力されるデータによって停止したり暴走したりするプログラムにBがどう反応するか述べられていないから矛盾を導けない。
「Xを入力すると、プログラムXにX自身を入力したときにXが停止するならば暴走し、暴走するならば停止するプログラム」に、そのプログラム自身を入力する
と書かなければならないのだが、これを分かりやすく記述することは私にはできそうにない
72 ななしのよっしん
2021/10/24(日) 04:14:41 ID: 3qW80C8kJc
ループや無限処理状態を絶対検知して止める最強プログラム『STOP』くんがあるとする
最強なので、Trueを出して止めるまでループ処理する
じゃあ親『STOP』が子『STOP』を検知させたらどうなるの?
止まったら、子供がループ処理してないやん!ってなって矛盾
ループ処理してたら、親が止めてないやん!ってなって矛盾
実は停止させる処理の大元、『STOP』くんの中身である検知機能でガバってる
なので「”無限ループか止まるか検知するプログラム”は無理じゃね?」っていう停止性問題
クレタ人は嘘つき、よってクレタ人はホモ Q.E.D 証明終了
73 ななしのよっしん
2021/11/06(土) 20:13:43 ID: lDvZQCZSUN
>>72
あっ、そっかあ…
74 ななしのよっしん
2021/12/16(木) 13:52:45 ID: oei6aKjCTE
チューリング完全ってのは計算機科学の中でも計算理論、形式言語って分野の話で
ここでいう計算能力ってのは一般的に思浮かべられる「計算の速さ」ではないっていうのはなかなか伝わらない
専門的には計算能力って言葉は使わなくて「言語受理能力」と呼ぶ
75 ななしのよっしん
2023/07/01(土) 06:42:06 ID: vPF5rWw2ln
テラリアが32bitコンピューター化、チューリング完全は近い……?
https://
ほめた!
ほめるを取消しました。
ほめるに失敗しました。
ほめるの取消しに失敗しました。