-
ニュートンはAI将棋の夢をみるか?
491pv 1 -
直観主義では完全性定理はトートロジーになる?
2818pv 8 -
構成主義と実無限
9493pv 18 4 users 1
-
直観主義論理と真でも偽でもない命題
15977pv 25 7 users 1 -
直観主義,背理法と否定の導入
16144pv 33 1 user