1001コメント392KB

数学基礎論・数理論理学のスレッド　その7

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

0617１３２人目の素数さん

2011/05/22(日) 01:08:57.29

Girardやら高橋やらPrawitzやらの結果に関しては
こういう証明方法ではいけない、みたいなことを書いてるので
新井先生の立場は>>612とはちょっと違うはず

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