14/02/23 07:38:11.39
>>537
>>538
バカモン！ ＼(-o-)／
Goedel は Whitehead & Russell の "Principia Mathematica" に基づいて、
”不完全性定理”を得たのだ。
そして、それらの根っこには、material implication の困難が在るのだ。
14/02/23 07:38:11.39
>>537
>>538
バカモン！ ＼(-o-)／
Goedel は Whitehead & Russell の "Principia Mathematica" に基づいて、
”不完全性定理”を得たのだ。
そして、それらの根っこには、material implication の困難が在るのだ。