なぜ悪質な永久機関ビジネスはなくならないのか？４

なぜ悪質な永久機関ビジネスはなくならないのか？４at SCI

なぜ悪質な永久機関ビジネスはなくならないのか？４ - 暇つぶし2ch474:ご冗談でしょう？名無しさん
13/08/19 22:23:00.55
不完全性定理とか連続体仮説とかのあたりでは"undecidable"は"neither provable nor refutable"の意味で使うよね
"provable and refutable"とは違うよね

次ページ

続きを表示

1を表示