TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Programming is not math

21 点作者 ahmadss将近 11 年前

7 条评论

bediger4000将近 11 年前
This is contrary to what most logicians think: &quot;Programs are Proofs&quot;, <a href="http://homepages.inf.ed.ac.uk/wadler/papers/frege/frege.pdf" rel="nofollow">http:&#x2F;&#x2F;homepages.inf.ed.ac.uk&#x2F;wadler&#x2F;papers&#x2F;frege&#x2F;frege.pdf</a>, a paper by Phillip Wadler, seems to outline the case pretty conclusively.<p>Or maybe, as my 5th-grader says, &quot;There&#x27;s school math, and then there&#x27;s fun math&quot;. Programs are not arithmetic, that&#x27;s true. I think Ms Mei&#x27;s view of &quot;math&quot; is impoverished, and this blog post is proof.
rizwan将近 11 年前
100% agree with this. Anecdotally, I know a lot of people who would be great at programming but they&#x27;d never consider it because of their pre-conceived notion that they&#x27;d have to be good at math first.<p>I&#x27;ve never been particularly good at math, and learned enough to get by in my CS theory classes. I hardly ever use math to program, unless the problem is specifically math-based or geometry-based. To me, programming is communication and organization.
thyrsus将近 11 年前
For me, programming is math because nowhere else in my experience do I have the degree of certainty that I have in programming. The article seems to think that calculus is the archetype of mathematics, but integers are mathematical objects as well. As natural numbers, 1+1=2 - always. Just like programming. Except the natural numbers never fail due to a failed disk drive, power supply, fan, electrostatic discharge, etc, HOWEVER, those externalities are never a part of programming (just as sleep deprivation is never part of mathematics) unless you&#x27;re explicitly modelling failures, and in that case, you&#x27;re making a mathematical model of a system that includes failures. Outside of programming and mathematics, entities and operations on them are usually much less reliable.<p>When you program, you manipulate a mathematical object, not the physical embodiment of that object. If you&#x27;re dealing with the physical embodiment, you&#x27;re a chip designer. Even at the level of FPGAs, your dealing more with the mathematical model of the device than with the details of the device itself.
davidy123将近 11 年前
There are different types of programming, ranging from directly applied theory, for example scientific modelling, to solving everyday problems, for example creating an interface to a health system. In the best case multidisciplinary teams will work together to solve problems to support many perspectives. Pure math is sometimes necessary, but in many cases it&#x27;s not, and the projected requirement to be a math expert to participate in formulating new digital connections is a very harmful force causing digital illiteracy and wasted opportunities for participation.
seanflyon将近 11 年前
Programming is to math as engineering is to physics
tabrischen将近 11 年前
This is a useful article to show people who are deterred from learning programming because they think they&#x27;re bad at maths.
reverius42将近 11 年前
False dichotomy. Math is a language, too.