カテゴリー: logic

チューリングの「停止問題の非決定性」証明を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

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

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

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

What is Graham’s Number? Graham’s number is an **extremely large number** that arises in **Ramsey theory**, a …
Read more