今日は, 超数学的自然数の演算 (加法, 乗法) の性質をまとめていました. 竹内外史先生の『証明論入門』で勉強したことがありますが, 自分のノートにもまとめておきたかったのです. この作業はしばらく続きます.

最近、マイパソコン用に、マウスを買いました。 僕はパソコンを 2台持っているのですが、 そのうちの 2台目用のマウスです。 2台のうちの 1台目の方は、Mac Book Pro (early 2015 version) で、こちらの方は、はっきり言って、マウスは必要ありません。 Mac …

微分多様体の基礎 1 更新しました. section 20, テイラーの公式の定式化です. 係数体は R or C です. 定式化には 3種類あって, U が ノルム空間 E の開集合, F が分離多ノルム空間の時, [1] f : U → F が n 回微分可能で D^n f が 点 a ∈ U において微分可能…

数理論理学のテキストを更新しました: 数理論理学入門 このテキストの一番大きなテーマは, 定義による関数記号の導入が, どのような場合に元の形式的体系の保存拡大になっているか, という問題です. 今回の追加分は, 保存拡大についてよく知られた結果や, ス…

やっと, できました. 数理論理学入門 数理論理学入門のテキストです. (12/1, 17:00 頃, ケアレスミスを修正しました.) (12/7. 保存拡大に関する, 追加の記述を多少付け足しました.) このテキストでは, 数学の基礎付けとしての等号述語論理を定式化し, 定義に…