第5回関西すうがく徒のつどい2日目（講義編） #kansaimath

リング @matsumoring

Con(ZFC)を仮定するとZFCから弱到達不能基数の非存在を証明できないことが証明できない #kansaimath #kansaimath110

end.K @end313124

市民「練習の時には時間に余裕あったのになぁ」 #kansaimath108 #kansaimath

end.K @end313124

数学 #kansaimath108 #kansaimath

なれ @nareO7

時間内にきちんと終わるなんて流石ですわお兄様 #kansaimath

おきのしま @idl12_okn

鮮やかに終わった講演 #kansaimath #kansaimath110

れんま（休職中） @tononro

最後の最後でゲーデルの不完全定理とかいう飛び道具が出てきた。#kansaimath #kansaimath110

小泉ふゅーりー @koizumi_fifty

ハイパーリンク行列をちょっと底上げすることで色々解決してつまりすごい #kansaimath108

とも @tomo37

闇が拡がる #kansaimath

なれ @nareO7

Q_pは闇→そこは言わないで #kansaimath

れんま（休職中） @tononro

つどいが終わってしまう。#kansaimath #kansaimath110

redri @redriver_redri

結論 全て闇 #kansaimath

ぴあのん @piano2683

【定理】 「Con(ZFC)を仮定するとZFC\neg|-￢WI」は証明できない （証明） 上の「」は「Con(ZFC)⇒Con(ZFC+WI)」と同じ。 一方ZFC+WI|-Con(ZFC)でゲーデルの不完全性定理よりおｋ #kansaimath #kansaimath110

end.K @end313124

Perron-Frobeniusの定理，離散時間マルコフ連鎖の収束定理 #kansaimath108 #kansaimath

ひゃまひょう @hyamaHyo

全講演終了

ぴあのん @piano2683

じっきょうちかれた #kansaimath #kansaimath110

end.K @end313124

幾つもある判定基準の一つ #kansaimath108 #kansaimath

end.K @end313124

Google以外の検索エンジンの手法はよくわからない #kansaimath108 #kansaimath

end.K @end313124

Googleは公開をしているから中身がわかる #kansaimath108 #kansaimath

リング @matsumoring

ZFCから弱到達不能基数の非存在を証明できると仮定すると、ZFC+弱到達不能基数の存在からCon(ZFC+弱到達不能基数の存在)が証明できて、第二不完全性定理に矛盾 #kansaimath #kansaimath110

リング @matsumoring

以上 #kansaimath #kansaimath110

れんま（休職中） @tononro

おい！向こうエルゴードの話してるやんけ！ウチと関連あるやん！(白目)#kansaimath

ぱっぷす＝むぎゅたん @Pappus_Mugyutan

こういう話が大好き #kansaimath

リング @matsumoring

p進数体も闇の可能性浮上して終了 #kansaimath #kansaimath110

end.K @end313124

終了な #kannsaimath

ひゃまひょう @hyamaHyo

今日の講演を踏まえると、闇空間Rで物理するのはやめて、Q_pで物理するのもありなんじゃないでしょうか？ #kansaimath