Re: does sqrt(2) exist in CM?

From: Daniel W. Johnson (panoptes_at_iquest.net)
Date: 02/07/05 

Date: Mon, 7 Feb 2005 16:31:40 -0500

Joe Kearney <joek350@gmail.com> wrote:

> a lecturer of mine (tim gowers) once made a comment (somewhat better
> phrased) that with only finitely many symbols available in mathematics
> for describing numbers, we can only represent countably many reals. do
> uncomputable numbers in some sense correspond to the un-representable
> ones? or does it mean rather that we can't simply compute the value,
> but that it does exist (whatever that means...)

The un-representable real numbers are a proper subset of the
uncomputable real numbers. 

-- 
Daniel W. Johnson
panoptes@iquest.net
http://members.iquest.net/~panoptes/
039 53 36 N / 086 11 55 W

Relevant Pages

  • Re: Skolems Paradox and why is math the way it is?
    ... This is not a job the axioms were ever meant to do. ... It's actually a problem with language generally, not just mathematics. ... just procrastinated the problem of interpretation for one step. ... Consider for example the set of reals you considered in another posting, ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... distribution on the naturals" as "a function from the naturals, ... not to create abstract mathematics unrelated to anything. ... >> properties of the reals, inherent in their definition, to show that ... I know some modern probability theory too :-) ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... infinite number of naturals: you couldn't in real life compute frequencies on an infinite number of objects. ... basic idea was to make the real world more understandable, not to create abstract mathematics unrelated to anything. ... phrase (or the equally ambiguous terms "random", or "probability") as part of a mathematical argument without first defining it results in a non-mathematical argument. ... What would change in theorems, if we only care about computable reals? ...
    (sci.math)
  • Re: Why real numbers and points cant model continuum
    ... "The arrow does not stand still" is the assertion that there exists ... Then you are in agreement with physics as it is currently practiced, ... reality and our physical models using the usual mathematics of the ... reals: after all, Zeno's arrow /does/ actually reach the target, just ...
    (sci.math)
  • Re: Cantorian pseudomathematics
    ... There exists some kind of limiting process to check that the number - the abstraction - sqrtis the diagonal of the square - another abstraction. ... the basic way of linking real life measure and mathematics, and I'd be very happy not to be forced to reject it - or to let it become an insignificant model after the abstract construction has been done. ... there is no function which is a uniform distribution on the naturals". ... naturals to the interval in the reals, obeying certain explicit properties. ...
    (sci.math)