Re: Han's startling new set theory.

imaginatorium@xxxxxxxxxxxxx wrote:
> Han de Bruijn wrote:
>> The decimal expansion of sqrt(2) does not repeat. You can check that
>> by computing.
>
> Really?? I mean, this is finite computing, with your "microscope",
> right? How long, very roughly, does it take to check that sqrt(2)
> doesn't repeat?

That just makes it like most scientific hypotheses: falsifiable, but
not verifiable.


- Tim
.

Relevant Pages

  • Re: NAS alternative to my junky Airport Extreme
    ... You can repeat this all you like. ... and its operating system in the early days of computing. ... the PDP-7, for which the first version of UNIX was written, had 18-bit ... That's just another claim from a source I have no trust in at all ...
    (uk.comp.sys.mac)
  • Re: Hans startling new set theory.
    ... by computing. ... How long, very roughly, does it take to check that sqrtdoesn't repeat? ... (Please answer in real, microscopable, units, like years, or kalpas.) ...
    (sci.math)
  • Re: Castle What?
    ... a posting about something else. ... Please don't repeat with another ad! ... Qercus - the best guide to RISC OS computing ...
    (comp.sys.acorn.misc)
  • Penroses Computing Pi Description?
    ... of a Turing machine can, strictly speaking, be an infinite ... I realize that computing infinity does not come to ... If we wish to generate an infinite decimal expansion, ... then the second decimal digit, 4, by making it act ...
    (sci.logic)
  • Re: Earliest example of an incomputable real
    ... |> It was clear that the inequalities you wrote were not exactly ... generating the decimal expansion, so some other method is needed ... then we must use 1 as the digit before the decimal. ... eventually show that r>1 by computing a close approximation to r. ...
    (sci.math)