サクサク読めて、アプリ限定の機能も多数!
この人の記事はちょっと眉に唾つけて読んだ方がいいと思う。チューリングもコンピュータにデバッグができないなんて証明していない。証明したのは自己のプログラムの停止性を判別するアルゴリズムが存在しないこと。
pixmap のブックマーク 2021/10/02 19:17
熱平衡化するかしないか、それが決定不能な問題だ 統計力学・スピン・チューリングマシン、難解の大決闘 | JBpress (ジェイビープレス)この人の記事はちょっと眉に唾つけて読んだ方がいいと思う。チューリングもコンピュータにデバッグができないなんて証明していない。証明したのは自己のプログラムの停止性を判別するアルゴリズムが存在しないこと。2021/10/02 19:17
このブックマークにはスターがありません。 最初のスターをつけてみよう!
jbpress.ismedia.jp2021/10/02
(小谷太郎:大学教員・サイエンスライター) 2021年8月24日(日本時間)、学習院大学の白石直人助教と国立情報学研究所の松本啓史准教授らの研究グループは、「熱平衡化の問題は、一般的な形では解決不可能な問...
6 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /
この人の記事はちょっと眉に唾つけて読んだ方がいいと思う。チューリングもコンピュータにデバッグができないなんて証明していない。証明したのは自己のプログラムの停止性を判別するアルゴリズムが存在しないこと。
pixmap のブックマーク 2021/10/02 19:17
このブックマークにはスターがありません。
最初のスターをつけてみよう!
熱平衡化するかしないか、それが決定不能な問題だ 統計力学・スピン・チューリングマシン、難解の大決闘 | JBpress (ジェイビープレス)
jbpress.ismedia.jp2021/10/02
(小谷太郎:大学教員・サイエンスライター) 2021年8月24日(日本時間)、学習院大学の白石直人助教と国立情報学研究所の松本啓史准教授らの研究グループは、「熱平衡化の問題は、一般的な形では解決不可能な問...
6 人がブックマーク・1 件のコメント
\ コメントが サクサク読める アプリです /