- 45 名前：１３２人目の素数さん mailto:sage [2012/01/03(火) 20:20:55.15 ]
- >>31
＞今の計算機の原理が変わらない限り一階論理がなくなることはない。
今の計算機の原理と一階論理にはどんな関係があるの？
量子計算機とかDNA計算機とかだと、一階論理ではなくなる？
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
数学基礎論・数理論理学 その11
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef