数学教育必须要做检讨

卧虎

第二遍读完。 作者在20世纪90年代末,与合作者定义了谓词逻辑的一种扩展 ,演绎模理论:证明是由公理,演绎规则和计算规则来构造的。本书可以看作这部分工作历史意义的总结,或许,公理最终会被计算终结? 尾声中留下6个问题,应该再加一个,计算的回归会对数学教育产生什么样的影响? 真正的价值在于廓清了从小学,中学,大学数学教育中“缝隙”的由来:一会儿倾向于逻辑(几何),一会儿倾向于算法(方程与函数),一会儿逻辑加算法(微积分) 毫无疑问,这个时代已经是算法时代,函数式编程大行其道,人工智能再启动。面对未来,数学教育也必须要做检讨和进步了。

0
0

查看更多豆瓣高分好书

回应(0)

添加回应

推荐计算进化史的豆列

了解更多图书信息

豆瓣正在热议

豆瓣
我们的精神角落
免费下载 iOS / Android 版客户端
App 内打开