第25回数学カフェ『公理的集合論』のまとめ

や～まだ @ ツイッター学生⟲ @iipod

【第25回 数学カフェ】公理的集合論入門に参加を申し込みました！ connpass.com/event/88480/?u… #math_ch_cafe

りゅうふじわら(現象) @ryunryunryun_

今日と明日は数学カフェの公理的集合論入門回だよ！ #math_ch_cafe

芦澤太一@生涯ロック小僧 @TA_LoveReplica

はじまりました！ #math_ch_cafe

あり @ta_to_co

落語家的な話のうまさを感じる #math_ch_cafe

Kenta Oono @delta2323_

後ろよりも自分が今いる壁際の方が見えやすいかな #math_ch_cafe

あり @ta_to_co

ツェルメロは選択公理周りの議論を正当化するために公理化した？ #math_ch_cafe

あり @ta_to_co

純粋集合？いい名前だ。 #math_ch_cafe

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

やっぱ公理的集合論はワクワク感がすごいな。肌に合ってんのかな #math_ch_cafe

あり @ta_to_co

クワイン集合を正当化する方法があるのか？？？ #math_ch_cafe

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

空集合から作られない純粋集合もある 公理的集合論は空集合から作られる「血統書付きの」純粋集合だけを使ってやります！ #math_ch_cafe

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

ツイッターじゃねえか #math_ch_cafe pic.twitter.com/geh4iQ557M

拡大

あり @ta_to_co

ベリーのパラドックス、完全に大好きbのパラドックスだと思っていた。 #math_ch_cafe

non @image_non

140文字以内の日本語でツイートできない最小の自然数 #math_ch_cafe

なかけん@ノアの方舟探索ゲー制作 @Nakakengch

#math_ch_cafe cohenの連続体仮説で集合論はじめたのが去年の今ごろだったなあ

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

基礎論のなにが好きかって「水も漏らさぬ感」なのかもな #math_ch_cafe

ロイロット博士 @Dr_Roylott

#math_ch_cafe 藤田先生の講義が聞けるとは羨ましいなあ。東京はなかなか気軽に行けない。

ロイロット博士 @Dr_Roylott

#math_ch_cafe 「キューネン数学基礎論講義」を読んでたら、途中でヒョロっと練習問題のように超準解析が登場してハート打たれたよ。超積とか持ち出す必要なくて自然に出てくるんだ。

non @image_non

クラトフスキ順序対の話 #math_ch_cafe

鯵坂もっちょ🐟『つれづれなる数学日記』発売中 @motcho_tw

最初いくつかの記号と構文しか持ってなかったのにうかうかしてたらもう関数とかできてきたぞ！ #math_ch_cafe

じなちん @ZINACHIN

ローソンが閉まっているのでファミマへ。。 #math_ch_cafe

ｾｸｽｨ・ナカナカピエロ @NakanakaPierrot

公理的集合論は人よりも機械的な構文解析を行うコンピュータの方が人よりも理解してるのかもしれませんね。 #math_ch_cafe

アナゴさん(檸檬) @Te52W74

#math_ch_cafe 先生の鯛めしせんべい、予想以上に鯛めしだった

yyyy/mm/dd @Zahlangabeheft

「神＝神」 （質疑より） #math_ch_cafe

なかけん@ノアの方舟探索ゲー制作 @Nakakengch

#math_ch_cafe 形式言語は、証明論で構文を決めて骨を作り、モデル論でその意味や解釈を決めて肉をつけるというイメージ