Transcendentals and Encryption (was Re: Nth digit of PI)

[Moshe Zadka]

On 29 Jun 2000, Harald Hanche-Olsen wrote:

> + François Pinard <pinard at iro.umontreal.ca>:
> 
> | There is an aleph1 number of real numbers
> 
> That is a statement of the continuum hypothesis, which is known to be
> independent of ZFC (the Zermelo-Fraenkel set theory including the
> axiom of choice, on which we tend to imagine all of modern mathematics
> is based).

Ummmm....a lot of modern mathematics based on  ZFC + existence of "large"
cardinals. These can be trivially shown to be strictly stronger then ZFC
via Goedel's theorem, and the fact that under a large cardinal, life seems
to be like ZFC.

matrijn-is-this-progessing-in-the-direction-you-forsee-ly y'rs, Z.
--
Moshe Zadka <moshez at math.huji.ac.il>
There is no GOD but Python, and HTTP is its prophet.