カテゴリー: Proof Theory

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

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