カテゴリー: Axiomaticity

1. 概念の導入：数学的直感と形式化の不整合 数学史において、形式的な公理系（例：1922年前後に整備されたZermelo-Fraenkel集合論、ZFC）の確立以前に発見された定理が、後の厳密な体系下でも有効性を保つ事…
Read more

Axiomaticityという言葉がある。 例えば、チューリングはZFC公理系を知らなかったが、のちにZFCによる証明に耐えうる理論であることが判明した。一方で公理あると信じられていたピタゴラスやユークリッドの定理もある…
Read more