机译:数学能力,形式化和图解思维或:“计算”是什么意思?
Department of Philosophy, Freic Universitaet Berlin, Habclschwerdtcr Aliee 30, 14195 Berlin, Germany;
Formalization; Calculus; Spatiality; Visuality; Cartographic strategy; Imagination; Intuition; Descartes;
机译:数学化或不化学化
机译:数学化或不化学化
机译:阅读狂野的思想:七个灵长类物种的心灵复杂性理论的计算分析
机译:图形绘图用于几何形式的图形校样
机译:不要介意形式化差距:HS-to-Coq的设计和用法
机译:在贝叶斯心理理论模型中形式化情感概念
机译:论人类心灵的可能计算力