Re: Turing Machines Have no Real Time Clock (Was The Game of Li

From: Marchal <>
Date: Mon Jan 17 03:48:40 2000


>Rational numbers are continuous, by the typical definition. Between
>any two rational numbers there is another (and therefore, an infinite
>number of others).

This is density. Q is dense indeed, but highly discontinuous.
Continuity means either that all dedekind-cut define numbers, or that
all cauchy sequences define numbers.

Note that in classical analysis these two definitions are equivalent,
but in intuitionistic mathematics they are not!

Unlike computability, continuity like provability is a relative

Received on Mon Jan 17 2000 - 03:48:40 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:06 PST