5 ms·
Common False Beliefs in Mathematics
- jrockway 16y agoMath people seem a lot more interested in math than programmers are in programming. If you asked the same question on SO, the popular answers would be a list of things like "programmers don't deserve big monitors" or "the client is always right" or other such bullshit. (Nothing actually about programming, only about "the profession"). Maybe this is why nobody ever calls mathematicians "number monkeys".
- dennisgorelik 16y agoMay be it's because programmers are slightly more in touch with reality? :-)
- tumult 16y agowhen you remove all of the bullshit from programming, you just end up with math again.
- gord 16y agoyes, but that would not be enough to do something useful [yet, and less so with lisp] Theres lots of housekeeping [~bs] in programming, maybe some in math too.
- vog 16y agoAlthough computer science was formerly a part of mathematics, it has become a profession of its own right. Of course there are still strong connections on many levels. But there is a lot in mathematics which is (currently) completely uninteresting for computer science, and vice versa. In particular, there is part of computer science which has nothing to do with mathematics, and which a mathematician would always attribute to computer science rather than mathematics. And that part is call "programming". So I disagree. Sole programing without bullshit and without mathematics is still a profession of its own right.
- singular 16y agoI'm really not sure I agree; programming is necessarily an engineering discipline and by nature requires a far looser, fuzzier approach than maths; though there is of course a mathematical foundation to modern computers (the Turing Machine is named after a mathematician, after all), in general the highly formal essentially mathematical approach is something a programmer rarely has use for, though formal proofs of correctness are certainly useful in some areas of programming (and perhaps in the future will apply to far more.) Ultimately we program for people rather than machines, I hardly think you can describe readability, maintainability and elegance as bullshit. You can just as well program a correct algorithm with one-letter variable names and horrible nested gotos, but I'm sure the guy who has to maintain that will hardly describe the difficulties with understanding and maintaining the code as bullshit.
- ringm 16y agoI would not agree with you, and I think you can't compare programming and math in this regard. The "beliefs" they are talking about are rather trivial: strictly formal abstract logical statements which look very hard from intuitive point of view, but they are relatively easy to construct and relatively easy to disprove (provide a counterexample for). An attempt to base your work on one would instantly lead to an error in a proof, which will be found upon review. On the other hand, programming is actually a branch of engineering, a much less formal discipline. TIMTOWTDI, and not just in Perl. Everything in programming is subjective. Results of programmer's work aren't simply "correct" or "erroneous". Basing your work on a "false belief" will just require spending more effort on it, or lead to a lower quality product. You can imagine an objective false belief, but it would be some kind of triviality, like wrong understanding of initialization order for base classes in C++, or behavior of modulus operator for negative numbers. Nobody is discussing this kind of stuff with any grandeur. edit: tl;dr: in math it may be hard to understand whether you're objectively wrong. In programming it is usually as trivial as a compile-time or runtime error, so programmers will usually discuss subjective issues.
- jrockway 16y agoIn programming it is usually as trivial as a compile-time or runtime error, so programmers will usually discuss subjective issues. But if you look at the SO threads, the subjective issues aren't related to programming, they are mostly related to sitting at a desk or working for other people. That has as much to do with programming as telescopes have to do with physics.
- deleted 16y ago[deleted]
- derefr 16y agoMost of "the profession" of programming, time- and effort-wise, consists of tasks orthogonal to programming itself. And, as any programmer knows, when optimizing, you should first go after the low-hanging fruit. Actual mistakes made due to misconceptions while programming are much further down the list than "the client is always right", because they have far fewer consequences and can be repaired much more quickly.
- johnswamps 16y agohttp://stackoverflow.com/questions/888224/what-is-your-longest-held-programming-assumption-that-turned-out-to-be-incorrect http://stackoverflow.com/questions/888224/what-is-your-longe... http://stackoverflow.com/questions/1124968/most-harmful-misconception-of-beginners-about-programming http://stackoverflow.com/questions/1124968/most-harmful-misc...
- endtime 16y agoWell, there's not really any mathematical field comparable to software engineering. A better comparison to math would be theoretical CS, in which case I think you'd get things like "the conflation of NP-hardness with NP-completeness".
- nopassrecover 16y agoCommonly held but incorrect beliefs about programming don't exist because we're not all taught it at school from ages 5 to 18.
- ent 16y agoI see you didn't read any of the stuff on mathoverflow. I'm a first year maths student and already the second example was a belief I held :P
- nopassrecover 16y agoI think you misread my post or I misread yours. I'm saying we have lots of incorrect maths in our brains because we were actually taught maths. It's hard for programming to have commonly misheld assumptions because it's not commonly taught.
- mjs 16y agoTrue, but I don't think Math Overflow and SO are really equivalent: most of the Math Overflow participants are academics; if you asked the same question on a SO for academic computer scientists I think you'd get similar results, especially if you restricted the answers to universal truths, rather than things which may or may not be true at some point in time, or under some conditions. (i.e. Apache is a better web server than nginx is not a universal truth, and neither is OO is better than procedural, etc.)
- calibraxis 16y agoTechnical hacking communities (like the Chaos Computer Club) seem to be full of people who enjoy aspects of computing in a pure sense. For example, they may hack long-obsolete game consoles, on both hardware and software levels; or sit around on a busy street cracking wireless connections. When asked how useful it is, they shrug like an ideal pure mathematician: it's not about being useful. They delete the creditcard numbers they find, like fishermen throwing back the fish they catch. (Though many of them hate their day jobs, and even the economic system itself, even if they're well-paid. These certainly aren't going to gush about what they experience during the day.) I don't know how other people use Stack Overflow, but so far I've only visited when I want a quick answer for technotrivia which isn't particularly mind-expanding. (Like, how to get Gnu Screen to stop doing this, or what Unix incantation does that.) If others do the same, then I can see why there would be less technical fascination and curiosity on display there.
- pavlov 16y agoMy humble opinion is that software is not science, but a creative solutions profession more akin to architecture or writing. It's a mystery to me why so many programmers seem to be ashamed of that. I don't see architects spending their time being envious of mathematicians. "If only we could construct buildings out of closed functions on a plane of pure ideology, where no humans would interfere..."
- deleted 16y ago[deleted]
- singular 16y agoAgreed, and isn't the wonderful, beautiful thing about programming that we can work with abstract problems which can immediately, without changing the nature of the solution, have an impact on the world? If a car designer wants his abstract idea to come to reality the idea has to go through enormous change, dilution and 'being practical' about what will actually make it into reality, a programmer does not. That's certainly what draws me to programming. I think it is absolutely unique in that respect and absolutely one of the most wonderfully satisfying things a person can do. Sometimes I think we programmers lose sight of that.
- fforw 16y agobrilliant comment. my new favorite quote -- right after "existence is stateful".
- singular 16y agoBut doesn't that highlight a fundamental difference between mathematics and programming, in that the majority of programmers out there are working on problems using programming as a tool, whereas the majority of mathematicians work on maths itself? I don't mean to disparage either craft, mathematics is a wonderful thing, and of course the applications are enormous and vital to science and engineering, however the majority of work is not applied. Additionally there is some truth in this, in that the majority of working programmers are 9-5ers who have no passion for programming, whereas maths work is difficult to get into and not necessarily as well paid as other professions so those who work in it are necessarily more passionate.
- jswinghammer 16y agoThat site is crazy. Every time I open it I feel like a complete idiot. I took a decent amount of math in college but I don't know most of the words they use.
- ronnoch 16y agoI wonder if this is how non-programmers feel reading Stack Overflow.
- mturmon 16y agoThat would be symmetric, but no, it's not the case. Most of the SO questions are of a more naive character. ("I got this error message, what do I do?")
- pjscott 16y agoNon-programmers know that they're not supposed to understand programming. People who've taken a reasonable number of math classes tend to feel like they should know more than a tiny fraction of the math that's out there, even if this expectation is unreasonable.
- plorkyeran 16y agoI know I found it pretty depressing the first time I realized that after taking fourteen or so years of math classes I'd never really made it past Advanced Arithmetic.
- omaranto 16y agoIf you just mean you took math courses as an undergraduate, then you should not at all feel like an idiot for not understanding what goes on at MO. The site is for "research-level math questions", as their FAQ says. My guess is that even, say, most PhD students tend to understand only the questions in areas of math they are familiar with.
- Dove 16y ago
- yanowitz 16y agoWhat I like about the thread is that it's a window into another world of geek humor whose countours I'm familiar with (they look a lot like the countours for cs humor) but whose specifics are largely unintelligible to me. Great read.
- bobbyi 16y agoCan someone explain why this one (the top answer) is false: For vector spaces, dim(U+V)=dimU+dimV−dim(UV), so dim(U+V+W)=dimU+dimV+dimW−dim(UV)−dim(UW)−dim(VW)+dim(UVW)
- xi 16y agoIt is explained in the comments: take three different lines in the plane, and you'll get 2=3.
- jules 16y agoPerhaps more enlightening is where the proof fails: dim(U+V) = dimU+dimV−dim(UV) dim(U+V+W) = dim(U+V)+dim(W) - dim((U+V)W) = dim(U)+dim(V)+dim(W) - dim(UV) - dim(UW+VW) <-- bzzt, wrong = dim(U)+dim(V)+dim(W) - dim(UV)-dim(UW)-dim(VW) + dim(UVW) The reason this step fails is that (U+V)W != UW+VW for example UW and VW can both be empty, but (U+V)W is not empty: U = {multiples of (1,0)} V = {multiples of (0,1)} Now U+V is the entire space R^2. If we take W={multiples of (1,1)} then VW={0} and UW={0}, but because U+V is the entire space we have (U+V)W = W = {multiples of (1,1)}.
- omaranto 16y agoI can't tell you how many times I've had to explain this to confused linear algebra students... Oh, and A minor correction: you mean "zero" instead of "empty".
- jules 16y agoYep, that's right. HN doesn't allow me to edit :(
- xi 16y agoWe could also notice that UW+VW is a subspace of (U+V)W, and therefore the following statement is valid: dim(U+V+W)<= dim(U)+dim(V)+dim(W) - dim(UV)-dim(UW)-dim(VW) + dim(UVW). So the result is weakened, but not entirely lost.
- tokenadult 16y agoI laughed (before I started to think that crying might be more appropriate) when I heard about the false belief that 1 plus the product of the first n primes is always a prime number. Ouch!
- jules 16y agoAbout half of the ones that I understand what they mean seem perfectly plausible to me. We need a page that explains why they are false. For example can someone explain "Every connected component of a topological space is open and closed." Edit: found it on wikipedia: "The components in general need not be open: the components of the rational numbers, for instance, are the one-point sets."
- mjw 16y agoI liked this answer in particular: "These are actually metamathematical (false) beliefs that many intelligent people have while they are learning mathematics, but usually abandon when their mistake is pointed out, and I am almost certain to draw fire for saying it from those who haven't, together with the reasons for them: * The results must be stated in complete and utter generality. * Easy examples are left as an exercise to the reader. * It is more important to be correct than to be understood. (Applicable to talks as well as papers.)"
- snowbird122 16y agoI took 14 hours of calculus in my EE undergrad. Reading posts like this remind me that I really enjoy studying math outside of school. In school, I had to learn so much, so fast, that I couldn't appreciate the beauty, nor take time to ponder the wider implications of what I was learning. Many times, I have thought about opening my Salas and Hille's Calculus book and just starting over from the beginning. Anyone ever done anything like this? Any opinions on a better starting book for someone in my shoes?
- oct 16y agoApostol's Calculus would probably fit your needs. I do not remember its discussing applications at all, unlike the Salas and Hille book according to online descriptions of it. From what you wrote it does not look like you are concerned with that, though.
- snowbird122 16y agoThanks for the recommendation. $154 new from Amazon and it was written in 1966. Killer reviews though. Thanks again. http://www.amazon.com/Calculus-Vol-One-Variable-Introduction-Algebra/dp/0471000051/ref=sr_1_1?ie=UTF8&s=books&qid=1275843399&sr=8-1#noop http://www.amazon.com/Calculus-Vol-One-Variable-Introduction...
- billswift 16y agoIt never really took off so there isn't much there yet, but for anyone interested in math discussion on a less advanced plane, you might try here http://wiki.lesswrong.com/wiki/Simple_math_of_everything http://wiki.lesswrong.com/wiki/Simple_math_of_everything
- roundsquare 16y ago"The circle is the only figure which has the same width in all directions." Can someone explain? What exactly do they mean by width and what else has this property?
- drbaskin 16y agoIf you think of the figure as lying in the x-y plane, then its projection onto one of the axes has the same length no matter the orientation of the figure. One nifty example of this is the Reuleaux triangle, which is related to the mechanics of rotary engines. http://en.wikipedia.org/wiki/Reuleaux_triangle http://en.wikipedia.org/wiki/Reuleaux_triangle