数理論理学（数学基礎論）　その14

383 ：１３２人目の素数さん：2021/05/23(日) 11:00:37.21 ID:fq3P4R2A.net

例えば竹内の現代集合論入門だが、
順序集合Xに最大元1を加えた順序集合をX1とした時、
Xの正則開集合全体の成すブール代数B　と
X1の正則開集合全体の成すブール代数B1　はブール同型になる
っていう事実を一言触れるだけで証明は読者に丸投げ。
実際の証明は確認作業をするだけの単調でダラダラした証明になるが、証明自体は20行近くかかる。

たとえ方針が簡単であっても20行近くの行間をすっ飛ばしするのはアカンやろ


スマリヤンはゲーデルの不完全性定理が大好きなのか知らんが、一般読者向けに噛み砕いた(と自分で思ってるだけの)本を書いてるけど、
くっそ読みにくい＆中身が薄かったのを覚えてる