mersenneforum.org

mersenneforum.org (https://www.mersenneforum.org/index.php)
-   Data (https://www.mersenneforum.org/forumdisplay.php?f=21)
-   -   Yes, Virginia, there _is_ a largest prime number! (https://www.mersenneforum.org/showthread.php?t=17747)

R.D. Silverman 2013-02-05 19:48

Yes, Virginia, there _is_ a largest prime number!
 
[QUOTE=ixfd64;327808]NBC News: [url]http://www.nbcnews.com/id/50707223/ns/technology_and_science-science[/url]

Another "largest prime number" fail.[/QUOTE]

The recent discovery isn't even the largest [b]KNOWN[/b] prime.

I know a larger one.

R.D. Silverman 2013-02-05 19:50

[QUOTE=R.D. Silverman;327828]The recent discovery isn't even the largest [b]KNOWN[/b] prime.

I know a larger one.[/QUOTE]

Any prime you can name, I can name bigger,
I can name any prime bigger than you.

No you can't.
Yes, I can.
No you can't.
Yes I can, yes I can, yes I can!

ewmayer 2013-02-05 19:56

[QUOTE=R.D. Silverman;327828]I know a larger one.[/QUOTE]

Not explicitly, you don't.

This has been covered numerous times before.

c10ck3r 2013-02-05 19:58

[QUOTE=R.D. Silverman;327828]The recent discovery isn't even the largest [B]KNOWN[/B] prime.

I know a larger one.[/QUOTE]
Doctor Silverman, I for one am [U][I][B]dying[/B][/I][/U] to know this number. Please send the full decimal representation of this number as a Word document to: [email]mersenneforum@gmail.com[/email]
Don't worry if it takes multiple emails, that's fine. Also, send an attachment of the proof to the same address.
Much obliged.
John Shook, PhD
([U]Patiently hoping[/U] for a [U]degree[/U])

Dubslow 2013-02-05 20:06

[QUOTE=c10ck3r;327833]
John Shook, PhD
([U]Patiently hoping[/U] for a [U]degree[/U])[/QUOTE]

Heh, that's a good one, I'm remembering that for further use :smile:

ewmayer 2013-02-05 20:07

[QUOTE=c10ck3r;327833]Doctor Silverman, I for one am [U][I][B]dying[/B][/I][/U] to know this number. Please send the full decimal representation of this number as a Word document to: [email]mersenneforum@gmail.com[/email] [/QUOTE]

I'll settle for a photo (and accompanying official press release) of RDS holding up a check from EFF for all the remaining record-prime prizes.

But I'm easy.

R.D. Silverman 2013-02-05 20:38

[QUOTE=ewmayer;327838]I'll settle for a photo (and accompanying official press release) of RDS holding up a check from EFF for all the remaining record-prime prizes.

But I'm easy.[/QUOTE]

I did NOT, repeat NOT say that I knew its decimal (or binary) representation.

I can however, give an exact (mathematically precise) specification of a
larger prime. Determining its decimal representation would take a bit of
computing.......

Given any prime, one can always give a larger one.

You knew this, of course. There are lots of numbers for which one can
give a precise representation. But not in decimal.......

I am pointing out something that should be obvious. It is possible to know
a number without knowing its decimal (or binary) representation.
Non-mathematicians often confuse one with the other.

Let M48 be the newly discovered prime.

Ackerman(M48, M48) is a uniquely and precisely defined number. But I
wouldn't want to compute it in decimal. :smile:

chalsall 2013-02-05 20:44

[QUOTE=R.D. Silverman;327847]Ackerman(M48, M48) is a uniquely and precisely defined number. But I wouldn't want to compute it in decimal. :smile:[/QUOTE]

What a waste of carbon....

R.D. Silverman 2013-02-05 20:49

[QUOTE=ewmayer;327832]Not explicitly, you don't.
[/QUOTE]

Yes, I do. I can give an explicit definition.

In formal automata/language theory it can be specified exactly. (or
as you say, "explicitly"). Of course if one wants to be fuzzy in the definition
of the word "explicit" then it sort of becomes meaningless.

It just depends on the (formal) language one is willing to accept.

If one only accepts decimal (or binary), then one is going to be
very limited in the numbers one can specify. i.e. try specifying 'pi'.

chalsall 2013-02-05 20:58

[QUOTE=R.D. Silverman;327852]i.e. try specifying 'pi'.[/QUOTE]

U+03C0.

Dubslow 2013-02-05 21:26

[QUOTE=R.D. Silverman;327852]Yes, I do. I can give an explicit definition.

In formal automata/language theory it can be specified exactly. (or
as you say, "explicitly"). Of course if one wants to be fuzzy in the definition
of the word "explicit" then it sort of becomes meaningless.

It just depends on the (formal) language one is willing to accept.

If one only accepts decimal (or binary), then one is going to be
very limited in the numbers one can specify. i.e. try specifying 'pi'.[/QUOTE]

'pi' is the smallest strictly positive solution x of the following equation defined over the reals: [tex]\sum_{i=0}^\infty {\frac{(-1)^i x^{2i+1}}{(2i+1)!}} \quad = \quad 0[/tex] (this happens to be the ratio of the circumference to diameter of a "circle", i.e. the set of points [tex]S^1 = \{(x,y)\in \mathbb{R}^2 | x^2+y^2=r^2,\quad \forall r \in\mathbb{R}\backslash \{0\} \}[/tex]. If you really want to get fancy, the circumference and diameter can be defined by some suitably abstract integral [but I haven't had enough analysis to say much more than that].)

Now, what is your formal specification/explicit definition of a prime larger than M48? Something like Ackerman(M48, M48) is a formally specified number, but I highly doubt its primality (not that you or I could [i]prove[/i] it one way or the other). It's quite a bold claim you made (or so it seems to my as-yet-untrained senses).


All times are UTC. The time now is 00:28.

Powered by vBulletin® Version 3.8.11
Copyright ©2000 - 2021, Jelsoft Enterprises Ltd.