2012年06月11日のツイート
@kururu_goedel: 「じゃあ、基礎づけ気にしないならそんなコード化とか無意味なの?」って聞かれたら、「そんなことはない、初等部分モデルや強制法や初等埋め込みなど集合論にコードしたから可能または容易になった議論がたくさんある」と返したいわけだけど、ところでなんの話だっけ。
@kururu_goedel: もちろん、そのような基本思想が採用された理由には、数学的に存在するということを集合論的に存在すると読み替えてしまうことで、哲学的議論を避けるというものがある。このあたりはちょっと前に@tenapi さんと@metaphusika さんがやりとりしていた。
@kururu_goedel: @KetYoshy そこは、集合論を用いた数学の基礎づけの基本思想として、「全てを集合でコードする」というものがあり、関数についてはグラフでコードするのが一番てっとり早いのでそれが標準になったというだけです。それ以外のやり方がないわけでもそれらが間違っているわけでもないです。
2012-06-11 12:25:52 via TweetDeck to @KetYoshy
@kururu_goedel: Σ(a_n+b_n)が収束するのはΣa_nとΣb_nが共に収束するときのみ、ってどうして勘違いし続けられるのかなあ。a_n=n、b_n=-nって単純極まりない反例があるのに。