数学知恵ノート
この知恵ノートでは、ブルバキ数学原論 多様体 要約 Chapter 1, 2 の補足ノートの紹介をします. (PDF) 微分多様体の基礎 1 〜フレシェ微分の基礎〜 大まかな構成として, 微分可能関数の議論を, 係数体 K が離散でない付値体の場合に一般化します. つまり, K …
やっと, できました. 数理論理学入門 数理論理学入門のテキストです. (12/1, 17:00 頃, ケアレスミスを修正しました.) (12/7. 保存拡大に関する, 追加の記述を多少付け足しました.) このテキストでは, 数学の基礎付けとしての等号述語論理を定式化し, 定義に…
私たちは高校数学で, sin(x), cos(x) の微分可能性を習います. しかし, 高校教科書に実際に書いてある証明は, 論理的には厳密ではありません. 多くの場合, lim_{x→0, x≠0}(sin(x))/x = 1 の証明がネックとなりますね. 問題なのは, 高校教科書では sin, cos …
このノートでは、以下に定式化するロビンソン算術 N_1 から、 次の論理式が証明不可能であることを 有限の立場で証明する： ∀x(k_n≦x∨x≦k_n) ここに、k_n とは、超数学的自然数 n に対して、 N_1 の定数 0 の前に S を n 個並べたものである。 （k_n は n に…
ここでは、行動科学をはじめとする社会科学でよく使われる 統計的検定の、入門的な考え方を述べます。 医学・看護学でも、同様です。 統計用語を用いた学術的な説明を理解するための、第一歩です。 統計学の教科書と、読み比べてみてください。 では、そもそ…
このノートでは、ネットでは有名な区体論の、 集合論 ZFC 内での正規モデルを構成する。 但し、オリジナルの区体論に於いて「準関数」と呼ばれるものは、 わかりやすさの便宜のために、ここでは扱わない。 通常の数学のように、等号述語論理の上に、 区体論…
このノートでは、集合論 BGE を少々書き直し、 クラスだけでなく個体も扱える理論体系にすることを目的とします。 E.J. Lemmon の公理的集合論入門という本があります。 そのなかで、数学で扱う対象を次のように分類しています： クラス・・・ものの集まり …
このノートでは、集合論 BGE の土台となる論理体系 についての解説を行う。基本的に、等号述語論理のマイナーチェンジ版である。 1. 形式的体系 Γ の構成 1.1. まず、Γ に必要となる記号に、どんな種類があるのか、列挙する。 1.1.1. 自由集合変数と呼ばれる…
このノートでは、ゲーデルの完全性定理と 不完全性定理についての解説を試みる。 この解説は、完全性定理や不完全性定理の手短な理解には、 どれだけの数学的予備知識が必要か、それを明らかにすることが目的である。 この知恵ノートを通じて、読者の予備知…
このノートでは、述語論理と等号述語論理、 そして、形式的体系のモデル、そしてゲーデル数の定義 についての解説を行う。 これらの知識は、ゲーデルの完全性定理および不完全性定理 の理解のために、不可欠である。 完全性定理, 不完全性定理についての解説…
大学数学を独学するための参考文献 Part. 2 です。 予備知識としての Part. 1 はこちら 大学数学を独学するための参考文献 Part 1 ～基礎知識編～ https://kazz-scw-2010.hatenablog.com/entry/suugaku-kiso-bon 大学初年級レベルの数学の知識をベースにこれ…
このノートでは、大学数学を独学するための参考文献を挙げます。 Part1 では、基礎知識編です。 順序は論理的な構成に従っていますが、僕の専門が幾何系だったので、 偏りはあります。予備知識として、教養または学部の一年で習う線形代数 （特に掃き出し法…
このノートでは、集合論 ZFC をこれから勉強する人のために、 Book レビューを兼ねて、いくつか文献を紹介したいと思います。 もちろん、これがベストというわけではありません。 最終的には、各自、自分に合った本を選べば良いと思います。 本の順序は、私…
現代数学では、集合論 ZFC を基礎として、理論を展開しています。 もちろん、数学基礎論の分野では、様々な形式的体系が扱われますが、 その点は、私はあまり詳しくありません。 ここに、二冊、本があります。 ブルバキ「数学原論 集合論 vol.1, vol.2」 で…
集合論 ZF では、集合だけを研究の対象にすると考える人がいます。 でも、それはちょっと違います。 集合論を記述するための論理式。 この論理式も、研究の対象になります。 例として、二項関係を取ってみましょう。 例 1） 集合 E 上の同値関係 R この場合…
