Re: Towards disproof of Omega 2

From: ken quirici (kquirici_at_yahoo.com)
Date: 01/06/05 

Date: 6 Jan 2005 06:55:56 -0800

Could someone please define constructivist, as it applies to a type
of mathematician/logician?

If it is someone who won't accept the existence of something for which
there is no [halting] construction, then is this not an 'agnostic'
position rather than an 'atheist' position? That is, you may dispute
that the diagonalization argument, for example, doesn't work, but
may also accept that the reals MIGHT be a higher order of infinity
than the rationals?

And is it not true that the constructivist position, further, doesn't
actually provide proofs CONTRADICTING, e.g., the diagonalization
argument?

It would seem Herc is an 'atheist'.

Thanks.

Ken

Relevant Pages

  • Re: The complete infinite binary tree has only countably many infinite paths.
    ... part of the binary tree that contains 0.111... ... has not been used for construction. ... number that differs from every line of the list. ... Of course the last line is not subject to diagonalization, ...
    (sci.logic)
  • Re: ping GhostInTheMachine
    ... In sci.logic, ken quirici ... >>> This article does not mention the diagonalization issue. ... of diagonal by looking at Kexclusively during construction of ... S is uncountably infinite it might look a little weird). ...
    (sci.logic)
  • Re: functions that halt
    ... as the diagonalization function cannot be placed in a TM. ... function on N->N (the i'th "GHF" in your terms), ... That would be true, but BY CONSTRUCTION of DF it *is* a total function, since ...
    (comp.theory)
  • Re: randomness
    ... Uncertain existence is partial existence. ... ball impacts 3 ball, and 3 ball drops into the corner pocket. ... out the consequences of a construction and measuring the ... If we were to allow such a center of mass a variance then the variance ...
    (sci.math)
  • Re: Foundations of Constructive Mathematics
    ... and if it doesn't exist prior to it's proof then are you saying that something can be proved into existence? ... background theory their existence. ... And example of such a background theory is ZFC. ... model construction. ...
    (sci.logic)