Services & Resources / Wolfram Forums / MathGroup Archive
-----

MathGroup Archive 2012

[Date Index] [Thread Index] [Author Index]

Search the Archive

Re: Landau letter, Re: Mathematica as a New Approach...

  • To: mathgroup at smc.vnet.net
  • Subject: [mg128048] Re: Landau letter, Re: Mathematica as a New Approach...
  • From: John Doty <noqsiaerospace at gmail.com>
  • Date: Tue, 11 Sep 2012 02:34:09 -0400 (EDT)
  • Delivered-to: l-mathgroup@mail-archive0.wolfram.com
  • Delivered-to: l-mathgroup@wolfram.com
  • Delivered-to: mathgroup-newout@smc.vnet.net
  • Delivered-to: mathgroup-newsend@smc.vnet.net
  • References: <k1n71e$e5m$1@smc.vnet.net> <20120831075725.55C076873@smc.vnet.net>

> Mathematical Platonism is modern form is no more than a belief that
> the natural world is governed by "laws", which are discovered by human beings but exist independently of them and can be expressed in
> mathematical form.

The natural world is, of course, the domain of science, not mathematics. The imagined world of Platonic mathematics is most definitely *not* the natural world, as it is inaccessible to the methods of science. But mathematics as a product of human thought is most definitely accessible to cognitive science.

> Like all metaphysics worth its salt, this belief can neither be
> validated nor refuted. Anybody who thinks that it can be
> "comprehensively demolished" is either using rhetorics more fitting to a political than a philosophical dispute or else should catch up on
> his Hume.

A hypothesis that won't stand up to test deserves little respect. (my Bayesian colleagues can even argue this mathematically). But mathematics is a human practice, occurring in the real world, accessible to experiment. Thus, to a scientist, you are in fact demolishing your  view by insisting that it cannot be demolished.

> Philosophically I am close to Quine, and so I
> believe that ontologically there is no fundamental difference between
> the objects studied by mathematicians, such as groups or sets, and the ones studied by physicists such as atoms or electrons.

There are absolutely fundamental differences. Physical objects are accessible to experiment. The properties of groups result entirely from the definition of "group". But no amount of reasoning can tell you much about the properties of atoms given only the definition of "atom".

> They are all human posits which we use to "explain" the sense data
> which arise from some independent reality. But as the the actual
> nature of this reality we can only speculate and in doing so we can
> rely on nothing more then our aesthetic judgement.

No. I agree completely that aesthetic judgement directs mathematics, but science is directed by evidence. We often see that aesthetic judgement undisciplined by real world evidence is wrong.

> So what
> exactly is the evolutionary path from a near "laboratory animal" to
> Riemann or Perelman?

I think it's similar to the evolutionary path from laboratory animal to elite athelete. Sports like ice skating are not really like anything humans evolved to do, but involve physical and cognitive "modules" evolved for other purposes, combined in novel ways. Scientific understanding of this has made it possible to teach atheletes to perform feats once thought impossible, like "quadruple jumps". I see no reason this shouldn't also apply to mathematics.



  • Prev by Date: compile fct. using Goto and If (vrs. 8)
  • Next by Date: Re: Begginer's question: Saving a function for later use
  • Previous by thread: Re: Landau letter, Re: Mathematica as a New Approach...
  • Next by thread: Re: Landau letter, Re: Mathematica as a New Approach...