昼間にOがやってきて、少しだべった。数学ガールの話をして、その流れで不完全性定理の話をした。有限の計算に限定した場合にヒルベルトプログラムってどうなるのだろう。確か何年か前の段階で初段二段レベルのコンピュータは出来ていたのだけど、その時の棋…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。