机读格式显示(MARC)

• 000 00991nam0 2200241 450

• 001 0000532303

• 005 20150120163100.0

• 010 __ |a 978-7-5066-7709-7 |d CNY28.00

• 092 __ |a CN |b 人天659-2435

• 100 __ |a 20141211d2014 em y0chiy0110 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a y z 000yy

• 106 __ |a r

• 200 1_ |a 计算机引起的数学哲学反思 |f 梁芳著

• 210 __ |a 北京 |c 中国标准出版社 |d 2014.12

• 215 __ |a 104页 |d 26cm

• 330 __ |a 本书通过回顾计算工具演变的历史，叙述了计算机功能的扩展：从数值计算到定理证明再到数学实验。以此为基础，结合四色猜想的计算机证明和分形几何的建立，引出由计算机变革数学研究方式所带来的争论。然后阐述计算机变革数学研究方式的意义，以及吴方法引起的对中国传统数学的反思。由于计算机引起大家争论的实质是关于数学的性质，最后考察历史上人们对于数学性质认识的各种观点，提出并论述了数学的本质在于经验性与演绎性的辩证统一。

• 333 __ |a 数学哲学研究者

• 690 __ |a O1-0 |v 5

• 690 __ |a TP3 |v 5

• 701 _0 |a 梁芳 |4 著

• 801 _0 |a CN |b 人天书店 |c 20141218