Question

如何评价王垠的《数学和编程》

Answer 1

匿名用户
扯了一半天，cs的黑数学，数学的黑cs，有卵用？有意思？
根本问题是，数学的本质是符号或者记号么？并不是，符号规范不规范根本和数学无关。甚至计算机语言优美不优美，也跟计算机无关，大不了编译器麻烦一点，最后不还是变成0101么。要都想优美，大家都用haskell了？
就算你写积分先画个符求平安，该积不出来的还是积不出来。好多数学证明的手稿都丑的一逼，一点都不优美，因为人家不靠脸，靠脑子啊。
来源：知乎

Wawawater 崩溃写论文ing
6 人赞同
形式化的好处是有利于严谨但是不利于理解，像是基础离散概率的知识很多都是很自然的想法，形式化只是换了一种表达方式而已，但是更重要的是这知识本身。当然发paper还是要严谨，这样有利于学术交流。
举个例子，任何二次等式至多有两个根，这是一种很自然的表达。如果形式化换成一阶逻辑表达式就变成了

但是形式化并没有为我们带来任何新的知识，只不过表达起来更加严谨而已，更重要的还是这些形式表达式后面所蕴含的数学idea，抽象的知识要有具象的例子和直觉来支撑。

@张秉宇 提到了数学工作者与程序员的思维区别，其实关于计算机科学家使用到的离散（具体）数学，和数学家更为偏好的抽象数学之争，数学家自己也在吵。Timothy Gowers作为匈牙利学派的继承人，曾经提出过数学有两种文化，一种是发现unified数学理论的文化，例如布尔巴基这种；还有一种就是专注于具体问题的文化，他称作匈牙利文化。作为被Erdös深深影响的人，我觉得两种都很重要。但是Gowers认为计算机有一天会取代数学家....