这种人愚昧无知，不足论道
【 在 Myarmor 的大作中提到: 】
: 粑粑糁，搜一下机器证明学派（automated proof checking）？ 我们国内吴文俊70年代 就在做这个了。
: 老图前几天贴的那个数学哲学的链接里简略提了几句：
: https://handwiki.org/wiki/Philosophy:Philosophy_of_mathematics#Mathematicism
: ...................
--
FROM 113.81.1.*