カテゴリー: Philosophy

ホモトピー（Homotopy）の歴史は、トポロジーの発展とともに展開されてきた数学の一大潮流です。その本質は、「空間の連続的な変形」に関する概念であり、次第に代数的・論理的な枠組みへと進化してきました。 🧭 1. 初期：…
Read more

Type Theory（型理論）の来歴は、論理学・数学のパラドックスの回避から始まり、計算理論・プログラミング・現代幾何学へと展開します。 🧱 1. 起源：パラドックスの回避（20世紀初頭） ▫️ ラッセルの型理論（19…
Read more

Curry–Howard対応（Curry–Howard Correspondence）は、論理学・型理論・計算機科学の橋渡しとなる非常に重要な発見です。最初から体系的に提唱されたものではなく、複数の研究者の独立した成果が…
Read more

Homotopy Type Theory（HoTT、ホモトピー型理論）とは、型理論（Type Theory） と ホモトピー理論（Homotopy Theory） を統合した、21世紀初頭に登場した新しい数学的基礎理論で…
Read more

ハーマン・ヴェイル（Hermann Weyl, 1885年11月9日 – 1955年12月8日）は、ドイツ生まれの数学者・理論物理学者であり、数学と物理学の架け橋を築いた人物として非常に重要です。彼の業績は多岐にわたり、…
Read more

ダフィット・ヒルベルト（David Hilbert, 1862年1月23日 – 1943年2月14日）は、ドイツ出身の数学者であり、19世紀末から20世紀前半にかけての数学界の中心的人物です。彼の功績は代数学、解析学、幾…
Read more

ポール・コーエン（Paul Joseph Cohen, 1934年4月2日 – 2007年3月23日）は、アメリカの数学者であり、集合論における「強制法（forcing）」という画期的な手法を発明したことで知られています…
Read more

「Naturphilosophie（ナトゥールフィロソフィー）」は、18世紀末から19世紀初頭のドイツにおいて発展した自然哲学の一潮流で、特に**ドイツ観念論（German Idealism）およびロマン主義（Roman…
Read more

ジョン・フォン・ノイマン（John von Neumann, 1903–1957）は、20世紀を代表する数学者・物理学者・計算機科学の開拓者であり、現代科学と技術の多くの基礎を築いた人物です。特に量子力学、ゲーム理論、コ…
Read more

主要な数学・論理・科学哲学の潮流（-ism）を時系列順にまとめ、それぞれの成立背景・代表者・論点・Groundismとの位置関係まで含めた包括的な年表形式で整理します。 🧭 数学・論理・意味の主義体系：時系列マップ 時代…
Read more