コスパのいい読書 複素関数概説(今吉洋一) 幾何学基礎論(ヒルベルト) 微分方程式入門(古屋茂)
—りんころ (@rinkoro0503)
ぼく自身はこれから型理論を専攻する予定ですが、学部三年程度の代数学・幾何学・基礎論はひととおり学んでいますので、内容は問いません。 解析分野でも、学びながら教えられるので歓迎します！
—ぱる🍊新学期！ (@uts1_19_math)
今日，ユークリッド幾何，双曲幾何，楕円幾何，有限幾何を総括する幾何（鏡映的計量幾何と名付ける）の1階述語論理による形式化が完成した（正確には自分では完成したと思っている）．基礎論の専門家に見てもらって大丈夫なようなら海外の幾何学基礎論の権威P氏（何人かな？）に送ってみよう．
—足立恒雄 (@q_n_adachi)
一応 論理式 集合論 幾何学基礎論 一部公理系(ペアノとかZFCとか) ε-δ 偏微分 重積分 線積分 面積分 ベクトル解析 複素解析 フーリエ変換、級数 ラプラス変換 統計 行列 あたりはやった。ド基礎(三角関数でいう加法定理レ… https://t.co/8Hx5ObhIMe
—perfectly Ver.3.0-ε (@PFL_perfectly)