世界是软件的

2019-04-26 本文已影响0人 lisoleg

MBA还是经验科学还是博物学，只有把主体数学软件和形式化语义Coq引入社会科学，社会科学才是真正的科学