高校数学は今体積をやっている。立体図形難しいよ(>_ 青と赤の部分の面積が等しいとしてしまうミスをしたアカウントがこちらになります余談：この図はJavaScriptとCanvasを使って描きました。ちょっと楽しい https://github.com/oupo/dotfiles/blob/public/s…

数学ガールゲーデル編では表現定理の証明が省略されている 体系には足し算なんて用意されていないのにたとえばどうやって三項関係を表現するんだろうと気になる。これはだいたい予想がついた。 二項関係を表現する論理式は、が属していて任意のについてが属…

最近ゲーデルの不完全性定理の証明に登場する形式的体系で遊んでます。 数学ガール ゲーデル編を読んで以来、からが導けるという推論規則がなんであるのか、を公理とするのではだめなのか気になっていました。その疑問が解決しました。任意の論理式について…