ジタさん
@fujitapiroc1964
(☝ ՞ਊ ՞)☝イイイイイイイイイイイイイイイイイイイイイイイイイイイイイイイイイイイィネ!!!!!!!!!!!!!!してないで、会場においで。
2020-01-25 12:38:17
数樂
@coc_mathfun
今まで思ってた数学の論理がほどけていってる感じがする #mathcafe_kansai pic.twitter.com/voBKfTJ89G
2020-01-25 13:52:28
拡大
𝐘𝐀𝐌𝐀𝐆𝐀𝐓𝐀, 𝐒𝐚𝐭𝐨𝐬𝐢
@SatosiYAMAGATA
本日は,この会に参加しています。久々に数学基礎論の議論に浸っています。 kansai-mathcafe-zeta.connpass.com/event/159795/?… #mathcafe_kansai
2020-01-25 14:28:58
ぴあのん
@piano2683
一般の1階構造についても論理式で定まる“対象の集まり”をクラスと言う流儀を初めて見たけど、いきなり集合論の言語でクラスを定義するよりも、前段階としてこの定義があった方が確かにわかりやすいかもしれない #mathcafe_kansai
2020-01-25 14:36:15
こうぜん かめぐす(batayan)
@YMsundaymonday
冷蔵庫の話が出たので、貼っとく {こんにゃく}か{{こんにゃく}} #mathcafe_kansai pic.twitter.com/aT37pFrHTW
2020-01-25 15:04:37
拡大
ぴあのん
@piano2683
素朴集合論ではある種のクラスを集合(個物)として扱いたい。また写像・順序対・集合の直積も集合と捉えられる。 #mathcafe_kansai
2020-01-25 15:17:40