カテゴリー: logic

「証明可能性の階層性」は、数理論理学や計算理論の核心的なテーマであり、Gödelの不完全性定理、Turingの計算可能性理論、証明論などを貫いて現れる階層構造です。以下に体系的に説明します。 🔷 1. 証明可能性の基礎的…
Read more

🔷 証明論的観点：意味空間と最小整合性 意味空間（domain of discourse）とは、命題が意味を持つ対象範囲（自然数全体、集合、再帰的関数など）であり、証明とはそこにおける形式的整合性の保証行為です。 ◾ 最…
Read more

ZFCとは、Zermelo–Fraenkel set theory with the Axiom of Choice（選択公理付きツェルメロ・フレンケル集合論）の略で、現代数学のほぼすべてを支えている標準的な公理系です。…
Read more

時間の本質を「ゼロ場（質量ゼロ・運動ゼロ）からの逸脱の積分」として捉える。 ◆ 1. 定義：時間とは「ゼロ場からの逸脱距離の積分」 時間はゼロ質量、ゼロベクトルの場の構造からの逸脱距離の積分と定義する。 ここで： δ(x…
Read more

自然言語（natural language）のカテゴライズにはさまざまな軸がありますが、一般的には以下の5つの観点で分類されます。 ■ 1. 系統（言語系統分類） → 歴史的・起源的なつながりに基づく分類（最も一般的） …
Read more

① Functor（関手）とは 関手とは、圏論（Category Theory）において「圏から圏への構造を保つ写像」のことです。 「カテゴリー間を翻訳する辞書のようなもの」です。あるカテゴリー（例えば集合やベクトル空間…
Read more

圏論（Category Theory）の歴史的成立過程を概観すると、主に以下の段階に分けられます。 ① 誕生（1940年代） 圏論は1945年に数学者の**サミュエル・アイレンベルグ（Samuel Eilenberg）と…
Read more

トートロジー（tautology）は論理学において「常に真であることが自明な命題」を指します。 トートロジー（tautology）とトポロジー（topology）は語感や表記は似ていますが、その概念的意味は異なります。た…
Read more

素数のみを代数でつかうほうが実数をつかうよりもより無駄を省いた骨格的表現ができる 実数体系は「すべての数を均一に扱う」ため、情報として冗長で、構造を深く追求する上では無駄な情報が多く含まれています。一方で、素数 p のみ…
Read more

実数や虚数以外にも数学的な数の種類があります。 ① 実数・虚数（既知の数体系） ② 複素数 (Complex numbers) ③ 四元数 (Quaternions) ④ 八元数（Octonions） ⑤ 十六元数（Se…
Read more