カテゴリー: Philosophy

ウォーレン・ウィーバー（Warren Weaver, 1894–1978）は、アメリカの数学者・科学行政官・言語理論家であり、情報理論の共同創始者として知られる人物です。特にクロード・シャノンとの共同作業によって、**「…
Read more

ハリー・ナイキスト（Harry Nyquist, 1889–1976）は、アメリカの電気工学者・物理学者で、情報理論、通信工学、制御理論の基礎を築いた人物です。特に「ナイキスト定理（Nyquist theorem）」や「…
Read more

「ノーバート・ウィーナー賞（Norbert Wiener Award）」とは、ノーバート・ウィーナーの業績と思想を記念して創設された賞で、特に技術と社会的責任の関係に焦点を当てたものです。これは他の技術賞とは異なり、「倫…
Read more

**Mathematical Logic（数理論理学）**は、数学の形式的構造・推論・真理の性質を研究する分野であり、数学そのものの“骨格”や“言語”を分析・設計する体系です。 🔷 数理論理学（Mathematical …
Read more

モデル理論と独立性証明の関係は、数学の公理体系における「何が証明可能で、何が証明不可能か」を明らかにするための極めて本質的な枠組みに関わっています。以下に、段階的にわかりやすく解説します。 🔹モデル理論とは？ モデル理論…
Read more

「大きな基数（large cardinal）」と「決定性（determinacy）」の研究は、**集合論（とくにZFCの拡張）**における最深部のテーマの一つです。 🔷 1. 大きな基数（Large Cardinals）…
Read more

Continuum Hypothesis（連続体仮説）とは、実数の濃度（無限の大きさ）が、自然数の濃度の次に小さい無限かどうかを問う、集合論の中でも最も重要で深遠な未解決問題の一つです。 🔷 連続体仮説（Continuu…
Read more

Georg Cantor（ゲオルク・カントール, 1845年3月3日 – 1918年1月6日）は、無限集合と集合論の創始者であり、現代数学の基礎を築いた最も重要な数学者の一人です。彼の業績は、当時の常識を打ち破るほど革命…
Read more

● 「1+1=2」と信じている人 ● 「1+1>2」と知っている人 この差がもたらす「結果の違い」 項目 1+1=2の人 1+1>2の人 戦略 努力・反復・積み上げ 相互作用・共鳴・戦略的融合 時間の扱い 直…
Read more

「1+1≠2でも、1+1=2でもない」という命題を扱う体系は、実は標準的な数学（ZFC）や古典論理の枠外にあります。これを数学的に扱うには、次のような拡張的・脱構築的数学体系が該当します： 🔷 1. 非標準論理（Non-…
Read more