【新機能】作り忘れたまとめはありませんか?31日前まで期間指定してまとめが作れる高度な検索ができました。有料APIだからツイートの漏れはありません!

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

無理を承知で、連続体仮説の独立性証明を2日で語る回を請けおいました。みなさんに熱心に聴いていただけて、しゃべった側としてとても幸せです。ありがとうございました。ハッシュタグと自分の発言だけでまとめを構成したので、漏れがあればご指摘いただければ幸いです。
math_ch_cafe 数学
2102view 0コメント
6
ログインして広告を非表示にする
や~まだ 𓆐 @iipod 2018-05-25 08:25:24
【第25回 数学カフェ】公理的集合論入門に参加を申し込みました! connpass.com/event/88480/?u… #math_ch_cafe
リンク connpass 98 2 users 【第25回 数学カフェ】公理的集合論入門 (2018/06/02 13:00〜) # 当日のご案内 参加者の皆様に直前のご案内をお送りしました。必ずお読みくださいませ。 【注意】明日は日曜なので会場である大手町ビルは地上の唯一の通用口からしか入館できません。まず地上に出て、下記の入り口まで向かって下さい。 入り口を進むと階段で地下1階に出ます。近くのエレベーターを使って3階まで上がって下さい。 会場はビル内の北側にあります。東西方向で言うと..
りゅうふじわら(現象) @ryunryunryun_ 2018-06-02 12:23:09
今日と明日は数学カフェの公理的集合論入門回だよ! #math_ch_cafe
あり @ta_to_co 2018-06-02 13:13:22
落語家的な話のうまさを感じる #math_ch_cafe
Kenta Oono @delta2323_ 2018-06-02 13:14:44
後ろよりも自分が今いる壁際の方が見えやすいかな #math_ch_cafe
あり @ta_to_co 2018-06-02 13:18:47
ツェルメロは選択公理周りの議論を正当化するために公理化した? #math_ch_cafe
鯵坂もっちょ🐟 @motcho_tw 2018-06-02 13:22:43
やっぱ公理的集合論はワクワク感がすごいな。肌に合ってんのかな #math_ch_cafe
あり @ta_to_co 2018-06-02 13:30:53
クワイン集合を正当化する方法があるのか??? #math_ch_cafe
鯵坂もっちょ🐟 @motcho_tw 2018-06-02 13:33:53
空集合から作られない純粋集合もある 公理的集合論は空集合から作られる「血統書付きの」純粋集合だけを使ってやります! #math_ch_cafe
あり @ta_to_co 2018-06-02 13:38:05
ベリーのパラドックス、完全に大好きbのパラドックスだと思っていた。 #math_ch_cafe
non @image_non 2018-06-02 13:38:06
140文字以内の日本語でツイートできない最小の自然数 #math_ch_cafe
ℕakakeℕ @Nakakengch 2018-06-02 13:45:00
#math_ch_cafe cohenの連続体仮説で集合論はじめたのが去年の今ごろだったなあ
鯵坂もっちょ🐟 @motcho_tw 2018-06-02 13:55:56
基礎論のなにが好きかって「水も漏らさぬ感」なのかもな #math_ch_cafe
ロイロット博士 @Dr_Roylott 2018-06-02 14:09:57
#math_ch_cafe 藤田先生の講義が聞けるとは羨ましいなあ。東京はなかなか気軽に行けない。
ロイロット博士 @Dr_Roylott 2018-06-02 14:23:11
#math_ch_cafe 「キューネン数学基礎論講義」を読んでたら、途中でヒョロっと練習問題のように超準解析が登場してハート打たれたよ。超積とか持ち出す必要なくて自然に出てくるんだ。
non @image_non 2018-06-02 14:30:58
クラトフスキ順序対の話 #math_ch_cafe
鯵坂もっちょ🐟 @motcho_tw 2018-06-02 14:35:37
最初いくつかの記号と構文しか持ってなかったのにうかうかしてたらもう関数とかできてきたぞ! #math_ch_cafe
じなっち @ZINACHIN 2018-06-02 14:42:20
ローソンが閉まっているのでファミマへ。。 #math_ch_cafe
ナカナカピエロ @NakanakaPierrot 2018-06-02 14:53:30
公理的集合論は人よりも機械的な構文解析を行うコンピュータの方が人よりも理解してるのかもしれませんね。 #math_ch_cafe
はる @H_S_98 2018-06-02 14:54:04
#math_ch_cafe 先生の鯛めしせんべい、予想以上に鯛めしだった
ℕakakeℕ @Nakakengch 2018-06-02 15:06:49
#math_ch_cafe 形式言語は、証明論で構文を決めて骨を作り、モデル論でその意味や解釈を決めて肉をつけるというイメージ
残りを読む(127)

ブックマークしたタグ

あなたの好きなタグをブックマークしておこう!話題のまとめを見逃さなくなります。
ログインして広告を非表示にする
ログインして広告を非表示にする