Live data from Hacker News

The Unreasonable Effectiveness of Mathematics

dartmouth.edu

21–30 of 44 posts

Re: The Unreasonable Effectiveness of Mathematics

#21
post #20

Earlier quoted context omitted.

Not really, because having one something plus one something equal two somethings is pretty much the definition of discrete object.

Yes, I agree and think this is a very smart observation. It doesn't hold for jugs of water, say, if you're allowed to pour water between the jugs.

Nor for sheep if you mix the sexes and leave them alone for a bit.

Cool article, though.

Re: The Unreasonable Effectiveness of Mathematics

#22
post #20

Earlier quoted context omitted.

Not really, because having one something plus one something equal two somethings is pretty much the definition of discrete object.

Yes, I agree and think this is a very smart observation. It doesn't hold for jugs of water, say, if you're allowed to pour water between the jugs.

It doesn't hold for loads of things. 1 heap + 1 heap = 1 heap. 1 bunny + 1 bunny = 12 bunnies, depending on how fast you are with your observing. 1 dl of ethanol + 10 dl of water < 11 dl of diluted alcohol.

Re: The Unreasonable Effectiveness of Mathematics

#24
Mathematics is a product of the mind; the mind is a product of evolution; evolution is a product of natural laws. If you want answers to these questions, it helps to look at what we are, exactly, and how we came to be.

In fact "simple" mathematics are not simple at all by any objective measure. Starting with any truly formal system, you need a stupendous number of deductions to get to things like elementary laws of arithmetic, or basic plane geometry. Mathematical proofs are not formal proofs--they are instructions for our brains. Evolution made the relevant parts of our brains the same, so same instructions lead to same results. That's why there's never any argument over whether a proof is correct, once a few people got to study it in detail. This also explains Hamming's observation that when proofs turn out to be "wrong" after math has evolved a bit, theorems are still usually correct. We find a new, better route to the same place in our brain, and recognize the hazards of the old route, now deprecated.

Okay, here is the key bit: if evolution made the relevant parts of our brains the same, that means it has arrived at a maximum, or at least a local maximum. What is the nature of this maximum? Physiologically, there are constraints on the amount of brain circuity our body can maintain. Brains consume a lot of energy, take up space, etc. So naturally, evolution ended up with a design where the same circuity can serve the greatest possible number of functions.

Of course, evolution only concerns itself with those functions relevant to our survival and reproduction. But there is nothing niche about those goals. If some general pattern occurs often in our quest for survival, then it likely occurs often in other quests that evolution never knew about--like building airplanes.

Re: The Unreasonable Effectiveness of Mathematics

#25

This guy could easily cut 50% of his words and lose no meaning. He needs an editor.

I hope that I have shown that mathematics is not the thing it is often assumed to be, that mathematics is constantly changing and hence even if I did succeed in defining it today the definition would not be appropriate tomorrow.

I think this kind of intent requires some seemingly superfluous amount of wording to carry a nontrivial flow of narrative to be persuasive if to avoid dullness in expression.

Re: The Unreasonable Effectiveness of Mathematics

#26
post #22
post #20

Earlier quoted context omitted.

Yes, I agree and think this is a very smart observation. It doesn't hold for jugs of water, say, if you're allowed to pour water between the jugs.

It doesn't hold for loads of things. 1 heap + 1 heap = 1 heap. 1 bunny + 1 bunny = 12 bunnies, depending on how fast you are with your observing. 1 dl of ethanol + 10 dl of water < 11 dl of diluted alcohol.

But "heaps" and "dl of fluid" are not discrete objects, which was precisely my point.

Re: The Unreasonable Effectiveness of Mathematics

#27
post #24

Mathematics is a product of the mind; the mind is a product of evolution; evolution is a product of natural laws. If you want answers to these questions, it helps to look at what we are, exactly, and how we came to be. In fact "simple" mathematics are not simple at all by any objective measure. Starting with any truly formal system, you need a stupendous number of deductions to get to things like elementary laws of a…

Mathematics is not a product of the mind any more than physics is. All theorems are true (or, more precisely, all theorems follow from their axioms), even the ones we haven't discovered yet. That a mind can choose an axiomatic system to explore does not mean the relationships between those axioms and their theorems are created by that mind.

Re: The Unreasonable Effectiveness of Mathematics

#28

old proofs of theorems may become false proofs. The old proofs no longer cover the newly defined things. The miracle is that almost always the theorems are still true; it is merely a matter of fixing up the proofs. It is claimed that an ex-editor of Mathematical Reviews once said that over half of the new theorems published these days are essentially true though the published proofs are false. I'm only around 55% of…

(Safari Reader doesn't show the full article)

Re: The Unreasonable Effectiveness of Mathematics

#29
post #24

Mathematics is a product of the mind; the mind is a product of evolution; evolution is a product of natural laws. If you want answers to these questions, it helps to look at what we are, exactly, and how we came to be. In fact "simple" mathematics are not simple at all by any objective measure. Starting with any truly formal system, you need a stupendous number of deductions to get to things like elementary laws of a…

Mathematics is not a product of the mind any more than physics is. All theorems are true (or, more precisely, all theorems follow from their axioms), even the ones we haven't discovered yet. That a mind can choose an axiomatic system to explore does not mean the relationships between those axioms and their theorems are created by that mind.

Mathematics and physics are products of the mind, obviously. Mathematicians and physicists do their work by using their minds. They don't channel some divine truth--they merely filter what their mind makes through certain criteria. I don't understand this common tendency, exemplified by your comment, to shift attention away from how mind makes things, to the criteria according to which we filter them before we call them "science" or "mathematics". I've studied mathematical logic, and it has been of little use to me in mathematics. Philosophy of mathematics has been of no use at all. The practice of mathematics can get by perfectly well without that stuff. So maybe it's time to put aside the mysticism, and start looking at how our brains actually make what they make. Especially since we are just now starting to understand what brains are and how they've evolved.

Re: The Unreasonable Effectiveness of Mathematics

#30
post #16
post #6

Earlier quoted context omitted.

Hm, it's not productive to argue over analogies. They're just used to illustrate a point. I was saying math was explicitly designed to work & to be general. Likewise words were designed for communication (not just for describing the real world), & I'd say that sentence communicates your meaning very well. eg later he says: >" Is it not remarkable that 6 sheep plus 7 sheep make 13 sheep; that 6 stones plus 7 stones ma…

It's right there on the top: "It is evident from the title that this is a philosophical discussion". In case you aren't interested in philosophy, I don't see why bother reading the article and commenting on it -- unless perhaps you want to say something against doing any philosophy in the first place. But if you are interested in philosophy, then you should know that the philosopher often starts by wondering about so…

Prefacing an article with "this is a philosophical discussion" is not an excuse to stumble through nonsense like a drunken sailor staggering home. Similarly if I preface this post with "I don't mean to be rude" only to continue to slander and defame, I've not excused my actions.

Counting is defined by objects, and 13 is the sum of 6 and 7. Indeed it is an empirical fact in as much as it has a physical interpretation.

Post reply on HN