- 336 名前：１３２人目の素数さん [2016/09/10(土) 15:13:13.33 ID:axJBq7Zi.net]
- あまり興味ある人いないかもだけど、哲学の方で矛盾許容論理というのが研究されてて、
そこではラッセル集合は構成できるけど爆発律が成り立たないから体系の自明化は起きず
パラドックスの一つの解決になっている。
ただ「どの矛盾が許容できて、どの矛盾が許容できないのか？」という点で
たぶんまだ意見が一致してない
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その17
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef