Re: Cantor's diagonal proof wrong?

From: Paul Leyland (paul_at_leyland.vispa.com)
Date: 11/16/04 

Date: 16 Nov 2004 10:17:25 +0000

Han de Bruijn <Han.deBruijn@DTO.TUDelft.NL> writes:

> fishfry wrote:
> > If all you're interested in is the physical world, then you don't
> > need infinite sets, let alone the real numbers.
>
> Huh? Would you like to argue that physics doesn't need the real numbers?

Ok, I like a challenge.

It is most certainly not yet proven, but there is (IMO) a very good
chance that physics needs integers, number theory, combinatorial
analysis, statistics, set theory, group theory and various other
branches of discrete mathematics but does not need real numbers for
anything other than computational convenience.

It is entirely possible, IMO, that spacetime is not continuous but
quantized and that the universe is an automaton (whether finite or
infinite I leave open) which evolves in discrete steps at discrete
locations. Something like a giant game of Life but with rules that
will probably turn out to be rather more complex. In this model of
physics, the universe may well be a Turing machine, with all the
limits on computability and continuity that implies.

Paul 

-- 
Hanging on in quiet desperation is the English way.
The time is gone, the song is over.
Thought I'd something more to say.

Relevant Pages

  • Re: Is the universe easy to compute?
    ... > that are directed towards those who have put forward discrete ... > models for the universe. ... We already know that physics allows for computation universality ... discrete model is how to ...
    (sci.physics.research)
  • Re: a programm
    ... In a way its very like our universe actually is. ... Those cellular automats create a stochastic pattern. ... to think that physics is an application of discrete mathematics, ... Discrete is of cause wrong. ...
    (sci.physics.relativity)
  • Re: Eternity
    ... he knows rather a lot of mathematics and physics, ... in the platonic realm but it ... The paradox confirms and highlights the fact that finite and infinite sets ... assumption to prove that the statements are contradictory, ...
    (uk.religion.christian)
  • Re: Balls and Vase problem - final solution
    ... the math and don't fuss about much with the formal theory behind the ... such folk to do the math for, say, physics, because these folks don't do ... existence of infinite sets, including the uncountable complete ... sci.math finitists will be satisfied. ...
    (sci.math)
  • Re: Cantors diagonal proof wrong?
    ... >> need infinite sets, ... Would you like to argue that physics doesn't need the real numbers? ... infinite I leave open) which evolves in discrete steps at discrete ... physics, the universe may well be a Turing machine, with all the ...
    (sci.math)