トップページ⇒math

1001コメント376KB

数学基礎論・数理論理学　その8

■ このスレッドは過去ログ倉庫に格納されています

0809１３２人目の素数さん

2011/09/02(金) 20:58:40.83

>>777
とりマセさんが、不完全性定理と停止問題の関係をtwitterでつぶやいているよ
逆数学的には同値ではないっぽい

■ このスレッドは過去ログ倉庫に格納されています