Home » forums » LtU Forum

Is mathematics invention or discovery?

Sure this topic has been around before,
This post is to refresh contemporary ideas, i.e. circa 2010.

-- Justin Johansson

By Justin Johansson at 2010-07-16 14:10 | LtU Forum | previous forum topic | next forum topic | other blogs | 8259 reads

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

N/A

Yes.

By Paul Snively at Fri, 2010-07-16 15:36 | login or register to post comments

N/A

No.

By Neil Toronto at Fri, 2010-07-16 16:00 | login or register to post comments

Wrong venue

Now that we have the Zen koans taken care of ;-), I would like to suggest that LtU is the wrong venue to ask this question in.

Though we often discuss mathematical issues related to PLs and computation, this isn't really a space to discuss math in general.

By Marc Hamann at Fri, 2010-07-16 16:08 | login or register to post comments

Is programming (computer science) invention or discovery?

Sorry if my question seemed OT for this forum; it was intended to be a lead in for my next question: Is programming** invention or discovery? which surely is quite on topic.

**I'm referring to programming in an abstract sense, i.e. computer science, algorithms, type systems etc, not day-to-day programing in a practical PL.

By Justin Johansson at Fri, 2010-07-16 23:53 | login or register to post comments

Still OT

Still philosophy. The fuzzy distinction between 'invention' and 'discovery' is irrelevant to PLT.

In general, I'd say invention and discovery are fundamentally the same thing. Even the most physical 'inventions' can be viewed as 'discoveries' of useful physical arrangements. And either requires a lot of hard work - to pick one subset of arrangements and distinguish it as especially useful from among a ludicrous number of permutations. I imagine it will become especially difficult to distinguish 'discovery' from 'invention' if ever desktop manufacturing printers really take off.

I remind Marc to 'be careful what you wish for'.

By dmbarbour at Sat, 2010-07-17 00:01 | login or register to post comments

The perils of Plato

I remind Marc to 'be careful what you wish for'.

I never said I wished LtUers would discuss philosophy, but rather to have studied it.

People who have studied philosophy tend to get questions like this out of their system... ;-)

By Marc Hamann at Sat, 2010-07-17 02:52 | login or register to post comments

Is an idea discovery or invention?

Math is an idea(l) ;)

By marco at Fri, 2010-07-16 16:34 | login or register to post comments

Mu

Mu

By Ben L. Titzer at Fri, 2010-07-16 19:08 | login or register to post comments

Pi

Pi?

Missing the joke, you mean: ç„¡ or æ— ?

By marco at Fri, 2010-07-16 20:28 | login or register to post comments

A philosophical problem used

A philosophical problem used to illustrate the interdependency of the opposites. We could discuss here rationalism vs empirism as well and start a reading group for Kants "Critique of pure reason" but then, don't you think that Marc Hamann is just right that this goes OT?

O.K. quick answer: Mu.

By Kay Schluehr at Fri, 2010-07-16 19:09 | login or register to post comments

I would say both

I can't think of any mathematical structures that aren't in my opinion "discovered" but of course the syntax and conventions we use to describe them are invented. My experience is that generally most people just don't care one way of the other.

The way my wife and I frame the argument is: If we encountered alien intelligence would their mathematics be understandable to us and vice-versa. I would expect people, like my wife, who think mathematics is invented to answer "no" while people, like myself, who think it is discovered to answer "yes".

My question would be if you think the answer to that question has some relevance to the field of programming languages.

By Robb Nebbe at Fri, 2010-07-16 20:15 | login or register to post comments

Of course

If algorithms are math, then algorithms are discovered rather than invented, which might make software unpatentable.

The silly thing is, if math is a language, and language are there to formulate thoughts, then no idea is invented. They are just discoveries of meaningful sequences of words.

By marco at Fri, 2010-07-16 20:32 | login or register to post comments

Interesting framing

That's an interesting framing of the argument.

An answer I like (most of the time) is that some math (including the most basic structures, such as numbers, finite sets, etc.) is discovered. Beyond a certain point (maybe constructability, or computability, or maybe even a little beyond that), it's all invention. The idea of the Axiom of Choice, for example, is invented, because it's not even right or wrong! The hard thing (maybe impossible?) is to define exactly where is the line that separates them.

With your framing, this answer becomes a (somewhat) testable prediction. If we ever find aliens that "discovered" the Axiom of Choice, for example, then the answer is probably wrong (unless, by luck, they happened to invent it also).

I have no idea about the relevance of this to programming language theory, though, except this: algorithms are discovered, because you can in principle build an actual Turing Machine to simulate them, and so the laws of Physics in a sense "already contain" them.

By ricardo.massaro at Tue, 2010-07-20 02:28 | login or register to post comments

Undoubtedly Neither - An Evolutionary Approach

Some parts of our brain are hardwired to compute "one, two, ...many" while there are other parts of our brain necessary for math beyond that. But you need them both.

So we have _evolved_ the ability to do math. We didn't invent it and we didn't discover it, but we can do it nonetheless.

Which brings a different light to the question of, if we meet "intelligent" aliens, will they use math? Will they view math the way we do? Possibly not, if their wetware is dissimilar, almost a certainty.

By Benevenuto Giorno at Sat, 2010-07-17 00:42 | login or register to post comments

Indeed OT.

Indeed OT.

By Ehud Lamm at Sat, 2010-07-17 06:22 | login or register to post comments

Invention

It doesn't have to exist. While at its core it seems to be discovery, since it follows natural principles, it quickly leads to constructions that could have been created for the first time: invention.

By David Broderick at Tue, 2010-07-20 08:14 | login or register to post comments