机译:结构现实主义,数学和本体论
机译:结构现实主义,数学和本体论
机译:论结构现实主义的本体论
机译:应用基于现实主义的本体 - 版本控制方法跟踪基本正式本体中的更改
机译:这种无限的,一致的不和谐:通过让·保罗·萨特(Jean-Paul Sartre)和阿兰·巴迪欧(Alain Badiou)的著作对数学存在主义进行了研究。
机译:基于现实主义的本体设计问题:为糖尿病营应用本体创建定义的案例研究
机译:贵族家庭是“奇异多重”?通过Alain Badiou的数学本体学镜头重新定义Smoczynski-Zarycki的贵族的Itey定义