Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > comp.programming > #11478
| From | Richard Heathfield <rjh@cpax.org.uk> |
|---|---|
| Newsgroups | comp.programming |
| Subject | Re: Theorem: There are at least ∞^4 integers in 2 dimensions. |
| Date | 2020-11-18 14:50 +0000 |
| Organization | Fix this later |
| Message-ID | <rp3cca$dom$1@dont-email.me> (permalink) |
| References | <bfdb5e55-4743-412b-9c38-6be521a7b055n@googlegroups.com> <rp0i4m$4hq$1@dont-email.me> <rp1fpb$8k7$1@dont-email.me> <rp35b2$ntb$1@dont-email.me> <rp3b05$3r7$1@dont-email.me> |
On 18/11/2020 14:27, David Brown wrote:
<snip>
> Next challenge - prove that 2 ^ ℵ₀ is greater than ℵ₀ :-)
No problem.
Like you, I adopted a computer-based approach.
Here's the source code, followed by the output:
me@here:~/alldata/dev/aleph$ cat aleph.c
#include <stdio.h>
#include <stdlib.h>
int main(void)
{
unsigned long aleph = strtoul("ℵ₀", NULL, 10);
unsigned long topowerofaleph = strtoul("2 ^ ℵ₀", NULL, 10);
if(topowerofaleph > aleph)
{
printf("QED\n");
}
else
{
printf("The statement is false.\n");
}
return 0;
}
me@here:~/alldata/dev/aleph$ ./aleph
QED
--
Richard Heathfield
Email: rjh at cpax dot org dot uk
"Usenet is a strange place" - dmr 29 July 1999
Sig line 4 vacant - apply within
Back to comp.programming | Previous | Next — Previous in thread | Next in thread | Find similar | Unroll thread
Theorem: There are at least ∞^4 integers in 2 dimensions. K R <ownerofachattingportal@gmail.com> - 2020-11-16 22:09 -0800
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Richard Heathfield <rjh@cpax.org.uk> - 2020-11-17 13:10 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-11-17 17:25 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Richard Heathfield <rjh@cpax.org.uk> - 2020-11-18 12:41 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-18 14:58 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Khritjan Robam <hrrobam@gmail.com> - 2020-11-18 06:01 -0800
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Richard Heathfield <rjh@cpax.org.uk> - 2020-11-18 14:42 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-18 16:43 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Richard Heathfield <rjh@cpax.org.uk> - 2020-11-18 18:59 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-18 21:39 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-17 22:36 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Richard Heathfield <rjh@cpax.org.uk> - 2020-11-18 12:50 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-18 15:27 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Richard Heathfield <rjh@cpax.org.uk> - 2020-11-18 14:50 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Ben Bacarisse <ben.usenet@bsb.me.uk> - 2020-11-18 15:44 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-18 18:09 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Peter <peterxpercival@hotmail.com> - 2020-11-18 18:00 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-18 21:42 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Peter <peterxpercival@hotmail.com> - 2020-11-18 17:58 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. David Brown <david.brown@hesbynett.no> - 2020-11-18 21:46 +0100
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Melzzzzz <Melzzzzz@zzzzz.com> - 2020-11-19 03:49 +0000
Re: Theorem: There are at least ∞^4 integers in 2 dimensions. Khrictian Robam <hrrobam@gmail.com> - 2020-11-19 01:12 -0800
csiph-web