計算可能性

物理学者のグループが、我々がコンピューターシミュレーションの中に住んでいないことを証明したと主張している。彼らの論文は、ゲーデルの不完全性定理に基づき、宇宙の理論には証明不可能だが真である命題が存在し、それを観測によって確認できることから、...