- 491 名前：１３２人目の素数さん mailto:sage [2012/08/26(日) 18:03:56.45 ]
- ＞構成可能性と違い証明論以外の人が問題として取り上げることはあまり多くない。
ってのは構成可能性は非専門家の解析学者とかでも気にすることがあるとか
証明論では実数論の可述的部分を研究したりするとか、
そういうこと込みで言ってるんだがな
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その13
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef