Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
| From | Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> |
|---|---|
| Newsgroups | sci.math |
| Subject | Re: Cantor Diagonal Proof |
| Date | 2025-10-23 20:43 +0100 |
| Organization | A noiseless patient Spider |
| Message-ID | <10de0hm$232lh$1@dont-email.me> (permalink) |
| References | <vsn1fu$1p67k$1@dont-email.me> <10dajcd$j82n$1@dont-email.me> <10ddee9$1g4tt$1@solani.org> |
On 23/10/2025 15:34, wm wrote: > Am 22.10.2025 um 14:40 schrieb Tristan Wibberley: > >> To show that the set of reals is larger than the set of naturals one >> would have to show that there's no definition of f_1 such that it >> contains all the reals! > > It is enough to know that every rational, let alone avery natural, > multiplied by an irrational is irrational, and that there are many > irrationals. Is there a technical meaning of "there are many irrationals" that we must also know? I suspect we must also know a larger argument too. -- Tristan Wibberley The message body is Copyright (C) 2025 Tristan Wibberley except citations and quotations noted. All Rights Reserved except that you may, of course, cite it academically giving credit to me, distribute it verbatim as part of a usenet system or its archives, and use it to promote my greatness and general superiority without misrepresentation of my opinions other than my opinion of my greatness and general superiority which you _may_ misrepresent. You definitely MAY NOT train any production AI system with it but you may train experimental AI that will only be used for evaluation of the AI methods it implements.
Back to sci.math | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 13:40 +0100
Re: Cantor Diagonal Proof Richard Heathfield <rjh@cpax.org.uk> - 2025-10-22 14:29 +0100
Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 16:02 +0100
Re: Cantor Diagonal Proof Julio Di Egidio <julio@diegidio.name> - 2025-10-22 17:17 +0200
Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 17:26 +0100
Re: Cantor Diagonal Proof WM <wolfgang.mueckenheim@tha.de> - 2025-10-23 16:51 +0200
Re: Cantor Diagonal Proof Julio Di Egidio <julio@diegidio.name> - 2025-10-22 16:19 +0200
Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-22 17:32 +0100
Re: Cantor Diagonal Proof WM <wolfgang.mueckenheim@tha.de> - 2025-10-23 16:56 +0200
Re: Cantor Diagonal Proof: un-_Countable_ or un-_Cartesian_? Ross Finlayson <ross.a.finlayson@gmail.com> - 2025-10-23 12:27 -0700
Re: Cantor Diagonal Proof "Chris M. Thomasson" <chris.m.thomasson.1@gmail.com> - 2025-10-22 12:15 -0700
Re: Cantor Diagonal Proof wm <wolfgang.mueckenheim@tha.de> - 2025-10-23 16:34 +0200
Re: Cantor Diagonal Proof Tristan Wibberley <tristan.wibberley+netnews2@alumni.manchester.ac.uk> - 2025-10-23 20:43 +0100
Re: Cantor Diagonal Proof WM <wolfgang.mueckenheim@tha.de> - 2025-10-24 22:35 +0200
csiph-web