Inter-universal geometry と ABC予想 (応援スレ) 74 (895ﾚｽ)
上下前次1-新
680: 09/02(火)15:12 ID:CgKIxbLR(3/3) AAS
>>678
＞普段の数学は、一階述語論理しばりは うれしくないってことですね
それ、典型的な素人の発言
一階述語論理は完全性定理が成立するのでうれしい
二階述語論理は標準モデルに関して完全性定理が成立しない
ヘンキンモデルなら完全性定理が成り立つだろう、と「したり顔」でいう人がいるが
それは一階述語論理上の理論として構築できる二階述語論理であり
当然ながら範疇性は成立しない
二階述語論理は綺麗だが、人間には扱えず不便
これが現実
綺麗ごとをやたらと喜ぶのは
自分では何も考えず何もしない素人だけ
上下前次1-新書関写板覧索設栞歴
あと 215 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.006s