Get me off Your Fucking Mailing List, 知らなかった

なんか脚にずっと汗を書いている気がするのだけど、今履いているズボンが暑いのか、そういう体質なのか

微分ガロア理論というのがあり、なんらかの関数が初等関数で書けるかどうかなどの体系的な理論があるらしい　でも勉強したことはない　そもそもふつうのガロア理論も知らない　グワー

はうー

あっ「初等関数の積分が初等関数になるかどうかが決定可能か」みたいな話なのか、Gödel 数出てくるの納得してしまった。そして、この問題、全然違うところで少しだけ話題にしたことがあったので、こちらもびっくり（論文は知らなかった）

ライプニッツがやってたやつというと無限小解析とかのことかしら……

ちらっと覗いてみたら Gödel numbering っていう言葉があってびっくりしました

型の話ではありませんが、すべては型の話です（え？）

しかも、流儀の違いとは別に、そもそも違う概念を同じ名前で呼んでいる人もいて、かなりめちゃくちゃ状態だった

タイプが重複