14/08/16 05:30:22.89
強制法についてちょっと面白いのは、基礎論嫌いだった
Bourbakiが考えたfilterという概念が集合論で一番活きているということ
（尤もfilterの考案者のCartanはさほど嫌いじゃなかったようだが）。
それからもっと面白いのは、
Cohenは最初かなり構文論的なものとして考えていたのを
Solovayとかがブール代数値モデルを使ったものとして整備して、
さらにShoenfieldがブール代数を経由せず直接モデルを拡大する
（その代わり何をやってるのか大変分かりにくい・但し
半順序の自由度を最後まで殺さないので使いやすい）
方法を考え出した。つまり内包→外延という順序になっている。
Cohenは後年にあれはもう自分が考え出した強制法じゃない、という態度であったらしいが、
面白いのが、実はCohen自身がGoedelのLの理論は
公理から要請される操作の閉苞を取っているだけで、数学ではよくある議論なのに
無意味に構文論的にごちゃごちゃした議論をしている、という
（正に的確な）感想を当時から持っていたと言うこと
（"The discovery of forcing"だったか"The origins of forcing"だったかに書いてある）。
つまりどちらも最初に内包的手法で見出されて後に外延的に明快に理解されている。
普通、現代数学では先駆者の幾何学的な明快なイメージがあって
あとから代数学的・構文論的で厳密な証明が付いてくるという
数学観を持っている人が多いが、最先端の茫漠とした未知の世界で
真に新しいものを探求するときは案外逆のパターンが多い、と言う一例になっている。
これは他の分野でも同じことだと思うけどね。