現代数学の系譜工学物理雑談古典ガロア理論も読む75

現代数学の系譜工学物理雑談古典ガロア理論も読む75at MATH

現代数学の系譜工学物理雑談古典ガロア理論も読む75 - 暇つぶし2ch394:下の記述は主に Dawson (1993) に基づいている。モデル理論の初期の歴史を理解するには、統語論的整合性（一階論理の推論規則を使って導かれるものには矛盾がないこと）と充足可能性（satisfiability、モデルがあること）を区別しなければならない。後にモデル理論となる重要な成果は、レオポルト・レーヴェンハイムが "Uber Moglichkeiten im Relativkalkul"（1915年）で発表した下記の「レーヴェンハイムの定理」であった[2]。全ての可算なシグネチャ σ について、充足可能な全てのσ文は可算モデルにおいて充足可能である。スコーレムの名が下方の定理（下降定理）だけでなく上方の定理（上昇定理）にも付与されているのは、ある意味で皮肉である。「私は、系 6.1.4 を慣例に従って上方レーヴェンハイム-スコーレムの定理と呼ぶ。しかし、実のところスコーレムは非可算集合の存在を信じておらず、したがってこの定理の意味するところを信じてすらいなかった」 - Hodges (1993) 「スコーレムは … その結論を意味がないとして拒絶した。タルスキは … スコーレムの形式主義的観点に立つなら、上方の定理を無意味だとするなら下方レーヴェンハイム-スコーレム定理も無意味とすべきではないか、と非常に適切に応えた」 - Hodges (1993) 「トアルフ・スコーレムは亡くなる直前まで、この定理に彼の名が冠せられていることに憤慨していたという。彼は非可算集合の存在そのものが不合理であるとし、実在しないと考えていた」 - Poizat (2000) (引用終り)

次ページ

続きを表示

1を表示