カテゴリー: 01-Mathematics

Decrypt history, Encrypt future™

フェルミ球|Fermi Sphere

フェルミ球(Fermi Sphere)およびフェルミ面(Fermi Surface)は、固体物理学、特に金属や半導体などの電子の振る舞いを考える際に重要な概念です。 ① フェルミ球(Fermi Sphere)とは 定義:…
Read more

AIに仕事を奪われる人間 vs 人間のコアになれず尊厳を奪われるAI

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

Möbius loop|メビウスの輪

「Möbius loop(メビウスの輪、メビウスループ)」とは、帯状のものを一回ひねって両端をつなぎ合わせてできる、特殊な形状をした図形のことです。「メビウスの帯(Möbius strip)」とも呼ばれます。 特徴と性質…
Read more

Ontopologics™|なぜ数式は“見えないまま”世界を変えるのか

数式は“現象”ではなく“構造”を扱います。数式とは、**現実がどのように現れるかを記述するものではなく、「現実が現れるための空間そのものを折りたたむ設計図」です。 🔹数式は“現象のあと”ではなく、“存在の前”にある たと…
Read more

ZFC|Zermelo–Fraenkel set theory with the Axiom of Choice

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|最小ポテンシャルエネルギーの原理

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

Counting, Accounting, Computing|数える力の進化

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

P≠NP問題の計算困難性

P≠NP問題を掘り下げるには、 「Worst-case complexity」と「Average-case complexity」 の違いを理解することが重要。NP問題は「最悪の入力」に対しては非常に難しい(指数時間が必…
Read more

Gödelの第一不完全性定理|証明可能性

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

Domain of Discourse and Minimal Logical Consistency|意味空間と最小整合性

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