- 907 名前：１３２人目の素数さん mailto:sage [2006/03/08(水) 19:34:06 ]
- >>906
自己言及の論理と計算
www.kurims.kyoto-u.ac.jp/~hassei/selfref.pdf
こういうのとはまるで違うけど、
対角線論法はArzela-Ascoliの定理を始めとする解析の命題の証明でもよく使う。
大雑把に言えば∀∃を∃∀に入れ替えたい時とか。
＞ただ素朴集合論の一つ一つの細かいテクニックに
＞こだわりすぎるのははっきり無駄だろうね。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論の質問スレッド
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef