カテゴリー: Computability

公理系からの脱獄：ZFC、チューリング、そしてAvi Wigdersonが定義する「銀河系文明」 物理学が「観測による近似」を語るなら、コンピューティングは「公理による構築」を語る。 1. 物理学（近似）とコンピューティ…
Read more