数学基礎論・数理論理学 その15 [転載禁止]©5ch.io
■ このスレッドは過去ログ倉庫に格納されています
0003132人目の素数さん
2014/11/11(火) 08:40:40.45ShelahとWoodingとかを考えたときに
Shelahがforcingに詳しいと言うのは、恰も、
F1レーサーとマシンメカニシャンではレーサーの方が
エンジンの事をよく知っていると言うような話で大変一面的だと思う
972 :132人目の素数さん:2014/11/05(水) 00:54:35.88
>>926
フォーシングのマシンメカニシャンって誰・どういう人たち?
976 :132人目の素数さん:2014/11/06(木) 18:00:33.78
>>972
横からだがたぶんウディンとかってことじゃ?
977 :132人目の素数さん:2014/11/06(木) 22:37:51.93
どっちかというと
シェラーの方がマシンメカニシャンで
ウディンがレーサーじゃないかなあ
978 :132人目の素数さん:2014/11/06(木) 23:04:54.30
どうして?
独立命題という(ZFC主義者にとっての)ゴミを取り除いていって
ZFCからの真理を探そうとするところは気質的にはそうかもね
■ このスレッドは過去ログ倉庫に格納されています