丹妮尔·麦克白 看它如何发展:数学实践中的纸笔推理。 (英语) Zbl 1266.97007号 菲洛斯。数学。(3) 20,第1期,58-85(2012). 摘要:在其漫长的历史中,数学涉及到书写符号系统的使用,尤其是欧几里德几何中的图表,以及笛卡尔、欧拉等人数学中算术和代数符号语言中的公式。这种符号系统使人能够体现数学推理的链条。作者表明,正确理解弗雷格的概念文字或者概念脚本同样可以让人编写数学推理。就像欧几里得或早期现代代数中的一个证明一样,弗雷格的概念脚本中的证明说明了它是如何进行的。 引用于4文件 理学硕士: 97E50型 数学课堂中的推理与证明 97E20型 哲学和数学(教育方面) 00A35型 数学方法论 关键词:图解推理;代数推理;代数公式语言;跨结构推理;标志图形系统 PDF格式BibTeX公司 XML格式引用 \文本{D.麦克白},菲洛斯。数学。(3) 20、第1号、第58-85号(2012;Zbl 1266.97007) 全文: 内政部