編集部が厳選した「いま、みんなに見てほしいまとめ」をイチオシとして紹介しています!グサッと刺さる良質まとめはこちら!

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

無理を承知で、連続体仮説の独立性証明を2日で語る回を請けおいました。みなさんに熱心に聴いていただけて、しゃべった側としてとても幸せです。ありがとうございました。ハッシュタグと自分の発言だけでまとめを構成したので、漏れがあればご指摘いただければ幸いです。
数学 math_ch_cafe
2260view 0コメント
7
ログインして広告を非表示にする
や~まだ 𓆐 @ツイッター学生 @iipod
【第25回 数学カフェ】公理的集合論入門に参加を申し込みました! connpass.com/event/88480/?u… #math_ch_cafe
リンク connpass 2 users 98 【第25回 数学カフェ】公理的集合論入門 (2018/06/02 13:00〜) # 当日のご案内 参加者の皆様に直前のご案内をお送りしました。必ずお読みくださいませ。 【注意】明日は日曜なので会場である大手町ビルは地上の唯一の通用口からしか入館できません。まず地上に出て、下記の入り口まで向かって下さい。 入り口を進むと階段で地下1階に出ます。近くのエレベーターを使って3階まで上がって下さい。 会場はビル内の北側にあります。東西方向で言うと..
りゅうふじわら(現象) @ryunryunryun_
今日と明日は数学カフェの公理的集合論入門回だよ! #math_ch_cafe
あり @ta_to_co
落語家的な話のうまさを感じる #math_ch_cafe
Kenta Oono @delta2323_
後ろよりも自分が今いる壁際の方が見えやすいかな #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
あり @ta_to_co
ベリーのパラドックス、完全に大好きbのパラドックスだと思っていた。 #math_ch_cafe
non @image_non
140文字以内の日本語でツイートできない最小の自然数 #math_ch_cafe
ℕakakeℕ @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 先生の鯛めしせんべい、予想以上に鯛めしだった
ℕakakeℕ @Nakakengch
#math_ch_cafe 形式言語は、証明論で構文を決めて骨を作り、モデル論でその意味や解釈を決めて肉をつけるというイメージ
残りを読む(127)
ログインして広告を非表示にする
ログインして広告を非表示にする