投稿者: TANAAKK

チューリングの「停止問題の非決定性」証明をZFC形式で定義・構成・証明する構造を丁寧に構築していきます。ZFCはすべての対象を集合として扱うため、チューリングマシン（TM）や入力、停止性の判定などもすべて集合で再定義しま…
Read more

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

Ontopologics™理論（ゼロ場、TAC、空間と時間の相互生成構造）を基にして、「トポロジカル相転移としての時間発生＝ビッグバンモデル」 を形式的・幾何学的・物理的にモデル化します。 🌌 トポロジカル相転移としての…
Read more

空間のゼロステートが定義でき、空間微分単位から発生する時間の線形力学的生成、一方、時間自体も質量、エネルギー、スピンなどが線形に変化、または非線形に変化する場合があり、時間自体が空間にフィードバックの力を返すことによる空…
Read more

空間と時間についての仮説を立てる上で、「ゼロ場=Zero Field」を完全な基底状態（ground state of spacetime）として位置づけたい場合の定義の検討 ✅ ゼロ場を完全な「時空の基底状態」として定…
Read more

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

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

Mathematical notation（数学的記法）は、数式や論理を明確かつ簡潔に表現するための一連のルールや慣習です。以下にその主な規則やルールをカテゴリ別に紹介します。 1. 文字・記号の使い方 種類 慣例的な記…
Read more

数学の基本的なツール（あるいは分野）は大きく以下のように分類されます： 三大分野（伝統的分類） 現代数学における追加の重要分野 圏論は何をするのか？ 圏論は、関手（functor）や自然変換（natural transf…
Read more

ミッターク＝レフラー研究所（Mittag-Leffler Institute）は、スウェーデンの数学研究機関で、純粋数学の研究と国際的な学術交流を目的としています。その設立と発展には、著名な数学者 Gösta Mitta…
Read more