用数学思考，用代码编程
6/8/19
程序员们喜欢讨论编程语言。除了讨论编程语言的价值，他们还会将编程语言与他们的身份结合起来，甚至推断使用编程语言的人的其他事情。甚至有人坚信语言决定论，限制在这种思维模式中。
我们花费大量的时间使用编程语言，让编程语言变得更好是很合理的。但是，大量的辩论反映出他们认为编程语言可以体现出更多。也许我们忘记了编程语言的基础。编程语言是实现的工具，不是思维的工具。相对于人类友好的语言来说，他们是更加严格的、用于机器识别的语言。相反的，思维应该通过更好的、更加灵活的媒介来表达。
用数学思考
几千年来，数学家们用自然语言来表达思想和算法是高效的。很多人不认为数学是简单灵活的。他们想起了在学校中的步骤，对数学符号感到害怕。我希望阅读这篇文章的人可以对数学有一个更好的体验，比如离散数学和线性代数。这种方式设计到构建清晰的定义和概念，并且混合一些松散的符号在里面（很多符号甚至直到16世纪才发明）。