作者: David Tall
关键词: Mathematics 、 Formal relationships 、 Formal science 、 Formal system 、 Formal proof 、 Formal derivative 、 Object language 、 Formal language 、 Algebra 、 Formal epistemology
摘要: … , embodied meanings are at the root of mathematics. However, a formal system may have more than one particular embodiment. In … , it is still imagination, but imagination founded on the …