Proofs and Refutations 在线电子书 图书标签: 数学  科学哲学  邏輯學  哲学  maths  Mathematics  探索式推断  英文書   

喜欢 Proofs and Refutations 在线电子书 的读者还喜欢

• 
  A Mathematician's Apology 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  From Mathematics to Generic Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Our Mathematical Universe 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  The Princeton Companion to Mathematics 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Problems and Theorems in Analysis I 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Statistics And Truth 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  数学的统一性 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  最佳可能的世界 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  当代数学 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载
• 
  Lambda-Calculus and Combinators 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

Lakatos对于形式主义以及数学研究中由概念驱动的创造非常不以为然，尽管后者是数学中非常重要的方法。他无法找到庞加莱证明的漏洞，亦不能像数学家那样理解它的意义。而且，由它衍生出的代数拓扑在物理中确实是有用的。

因为干老牛逼

因为干老牛逼

因为干老牛逼

Lakatos对于形式主义以及数学研究中由概念驱动的创造非常不以为然，尽管后者是数学中非常重要的方法。他无法找到庞加莱证明的漏洞，亦不能像数学家那样理解它的意义。而且，由它衍生出的代数拓扑在物理中确实是有用的。

这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式，通过历史上对多面体欧拉公式的真伪辩论，来说明作者对于科学发现的认识。 如何才能证明一个定理为真？或许这是不可能的，因为人类的语言没有明澈到这么一个地步，能够毫无偏差地描述所要描述的概念。...

这是一本让我不仅仅觉得是所描述的数学内容有趣的书。书中以对话体的方式，通过历史上对多面体欧拉公式的真伪辩论，来说明作者对于科学发现的认识。 如何才能证明一个定理为真？或许这是不可能的，因为人类的语言没有明澈到这么一个地步，能够毫无偏差地描述所要描述的概念。...

这本书要讲的道理非常清楚，作者在引言里面已经说得很清楚了， 非形式、准经验的数学的发展，并不只靠逐增加的毋庸置疑的定理的数目，而是靠以思辨与批评、证明与反驳之逻辑对最初猜想的持续不断的改进。不过，因为元数学是如今正迅速发展的非形式、准经验的数学的一个范式，所...  

该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...  

该书要面对的首要问题就是：数学知识的发展是不是形式化的演绎推理。 我觉得傻子也知道根本不是，这何以能够成为一个重要的问题。 数学学者，乃至自然科学学者，都有一种极大的惯性，将学术发现史的艰辛历程全然抛弃，一旦综述诞生，之前的一切都不再重要。不管不收敛级数有没...