[HM] The irrationals

• Messages sorted by: [ date ][ thread ][ subject ][ author ]
• Next message: John Conway: "Re: [HM] Proofs and the computer"
• Previous message: Val Dusek: "[HM] Newton to Hooke (was: Re: Earliest priority dispute?)"

Does anyone know when and who whas the first that proved that the
irrationals are homeomorphic to the sequences of natural numbers by
means of continuous fractions?

Thanks in advance,

Juan Tarres

• Next message: John Conway: "Re: [HM] Proofs and the computer"
• Previous message: Val Dusek: "[HM] Newton to Hooke (was: Re: Earliest priority dispute?)"