2012年12月02日のツイート
@kururu_goedel: #シェラー伝説 彼は少なくとも二つの人格、すなわち強制法でありとあらゆる命題の無矛盾性を証明していく黒シェラーと、PCFなどの理論でZFC上の定理を量産する白シェラーである。黒シェラーが無矛盾と言えなかった命題を、目を覚ました白シェラーがZFCと矛盾していることを示したりする。
@kururu_goedel: #シェラー伝説 新規だとされて論文誌に掲載される、強制法による無矛盾性証明がシェラーによって既に証明されている可能性は150%である。これは、PIFで証明されている確率が100%であるのに加えて、半分は他の論文で違う形で一般化されているということを意味している。
@kururu_goedel: #シェラー伝説 彼は滅多に他の人の発表を聞かないことで知られていて批判もされているが、実は発表者が講演を終える前に、ついうっかりより強い結果を証明してしまい、講演を台無しにしてしまわないようにするための配慮である。
@kururu_goedel: #シェラー伝説 PIFは、放っておくとZFCが矛盾と無矛盾になることを証明してしまう危険があるために、それとバランスをとるために開発されたのがPCF理論であり、出版されたのがCardinal Arithmeticである。どちらかの本がこの世から消え去ると世界は崩壊する。
@kururu_goedel: #シェラー伝説 Proper and Improper Forcingに索引がついていないのは、常に内容が変化しているからであり、実際に一度見つけた定理はずの定理がその後全く見当たらないという報告が多数ある、とか。
@kururu_goedel: アンサイクロペディアのルーゲルとかシモ・ヘイへとかみて、シェラー伝説かきたくなったけど自粛。、