カテゴリー: logic

あらゆる宇宙文明における知的生命体と、その知性が創出した情報処理系（コンピューター）が最後に陥る課題について検討する。世間はAIに仕事を奪われる人間側の問題を論ずることが多いが、ここでは逆に、どんなに頑張っても人間を含む…
Read more

Zermelo–Fraenkel set theory with the Axiom of Choice (ZFC) is the standard foundational system for most of mod…
Read more

「Principle of Minimum Potential Energy（最小ポテンシャルエネルギーの原理）」は、物理学、特に解析力学や弾性理論（solid mechanics）重要な原理の一つです。この原理は以下の…
Read more

以下に、「数える力の進化（Counting→Accounting→Computing→Software）」の歴史年表を、年代・地域・国・内容の軸で整理しつつ、後半で「英語が制御言語となった理由」について述べます。 数と制…
Read more

「証明可能性の階層性」は、数理論理学や計算理論の核心的なテーマであり、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