I have to prove everything

PawnProver44 · 2016-03-18, 03:10

I was asked to prove every statement I made on mersenneforum.org and I really don't know where to start. I probably owe all of you a ton of proofs anyways.

retina · 2016-03-18, 03:20

I don't see the problem. If you make a claim be prepared to prove it. Otherwise your claim has no basis to stand upon.

BTW: Did you know the moon is made of green cheese? And the Earth is flat Yeah, it's true. Just thought I'd let you know. You can all thank me later.

Uncwilly · 2016-03-18, 03:41

Don't forget to show your work and/or tell us about the factoring work you have done on numbers that you claim might be prime. If you claim that a number is prime and have not found suitable factoring data or have not personally invested at least a solid day of GPU time (or maybe a week's worth of a quad core CPU time) factoring it, your claim is likely to fall on deaf ears. Also, what about P-1 factoring?

danaj · 2016-03-18, 06:26

I hate to be pedantic (amusing though it is in this thread), but wouldn't claims of "a number is prime" be better served by running compositeness tests and/or showing proofs of primality, instead of factoring attempts?

Knowing how to use Pari/GP, PFGW, and Primo seem like good starts for computational tools for primality related subjects.

ATH · 2016-03-18, 07:27

Just avoid starting posts with "This has never been considered before...." because then you are almost certain to be wrong right away, and people tend to ignore the rest of the post.

science_man_88 · 2016-03-18, 13:04

Quote:

Originally Posted by PawnProver44

I was asked to prove every statement I made on mersenneforum.org and I really don't know where to start. I probably owe all of you a ton of proofs anyways.

start with at least supporting evidence ( as that's the minimum most people will want if you make a claim). I gave you the link to the wikipedia about mathematical proofs I technically even gave a counterproof to one of your statements by PM.

science_man_88 · 2016-03-18, 13:07

Quote:

Originally Posted by danaj

I hate to be pedantic (amusing though it is in this thread), but wouldn't claims of "a number is prime" be better served by running compositeness tests and/or showing proofs of primality, instead of factoring attempts?

Knowing how to use Pari/GP, PFGW, and Primo seem like good starts for computational tools for primality related subjects.

ah but the size and type of the number in questions makes the LL the primality/compositeness test and the exponent is too large for it to run practically at last I think ( and yes I know I made a statement I can't prove) ( both for time and size of computations I think) therefore trial factoring is the easiest way. ( the exponent in questions is over the square root of M127).

danaj · 2016-03-18, 18:08

Quote:

Originally Posted by science_man_88

ah but the size and type of the number in questions makes the LL the primality/compositeness test and the exponent is too large for it to run practically at last I think ( and yes I know I made a statement I can't prove) ( both for time and size of computations I think) therefore trial factoring is the easiest way. ( the exponent in questions is over the square root of M127).

Ah right, for huge Mersenne numbers (I was thinking of some of the other threads). Ucwilly's comment makes more sense now, especially with the "might be prime." You get "it's not trivially composite, even for some pretty large values of trivial."

This forum is different in that it is a bit specialized and the members try to keep the content quality high. It's very easy for forums to degenerate into places full of "my 5th attempt at a 1 page proof of Beals / FLT / RH" or "How do you factor ginormous numbers like 170540451098587 in less than a month?" or "OMG, I've solved primes! They're all 6k +/- 1!"

EdH · 2016-03-18, 19:02

Quote:

Originally Posted by retina

...
Did you know the moon is made of green cheese?

After 25000 years, we finally were able to seek this cheese, even landing men there from 1969-1972. But alas, no one found any and we haven't set foot there since...

Quote:

Originally Posted by retina

And the Earth is flat Yeah, it's true. Just thought I'd let you know. You can all thank me later.

This was the truth. It was only a (relatively) short time ago that we stitched together all the edges and rounded out the surface.

retina · 2016-03-18, 19:38

Quote:

Originally Posted by EdH

After 25000 years, we finally were able to seek this cheese, even landing men there from 1969-1972. But alas, no one found any and we haven't set foot there since...

You must have missed "Wallace and Gromit: A Grand Day Out". Video evidence. So it must be true.

Quote:

Originally Posted by EdH

This was the truth. It was only a (relatively) short time ago that we stitched together all the edges and rounded out the surface.

It's turtles all the way down.

only_human · 2016-03-18, 23:17

Quote:

Originally Posted by EdH

After 25000 years, we finally were able to seek this cheese, even landing men there from 1969-1972. But alas, no one found any and we haven't set foot there since...

Actually the moon was an early contestant of the Cheese-Rolling At Cooper's Hill In Gloucestershire - as everyone knows.

2016-03-18, 03:10	#1
PawnProver44 "NOT A TROLL" Mar 2016 California 305₈ Posts	I have to prove everything I was asked to prove every statement I made on mersenneforum.org and I really don't know where to start. I probably owe all of you a ton of proofs anyways.

2016-03-18, 03:41	#3
Uncwilly 6809 > 6502 """"""""""""""""""" Aug 2003 101×103 Posts 10001111111001₂ Posts	Don't forget to show your work and/or tell us about the factoring work you have done on numbers that you claim might be prime. If you claim that a number is prime and have not found suitable factoring data or have not personally invested at least a solid day of GPU time (or maybe a week's worth of a quad core CPU time) factoring it, your claim is likely to fall on deaf ears. Also, what about P-1 factoring? Last fiddled with by Uncwilly on 2016-03-18 at 03:44

2016-03-18, 06:26	#4
danaj "Dana Jacobsen" Feb 2011 Bangkok, TH 2×3×151 Posts	I hate to be pedantic (amusing though it is in this thread), but wouldn't claims of "a number is prime" be better served by running compositeness tests and/or showing proofs of primality, instead of factoring attempts? Knowing how to use Pari/GP, PFGW, and Primo seem like good starts for computational tools for primality related subjects. Last fiddled with by danaj on 2016-03-18 at 06:28 Reason: clarify tools are for primality, factoring would add some more (yafu and gmp-ecm, to name two)

Similar Threads
Thread	Thread Starter	Forum	Replies	Last Post
So how must we be able to prove the following?	George M	Miscellaneous Math	5	2018-01-02 11:11
How can I prove this PRP prime?	siegert81	Math	2	2014-11-19 10:24
Why is RH so difficult to prove?	Damian	Math	31	2008-10-03 02:11
Is this to prove/already known?	MatWur-S530113	Math	4	2007-06-27 05:35
why not stop when composite is prove?	mdjvz	Software	4	2003-09-28 17:13

2016-03-18, 03:20	#2
retina Undefined "The unspeakable one" Jun 2006 My evil lair 2²·19·79 Posts	I don't see the problem. If you make a claim be prepared to prove it. Otherwise your claim has no basis to stand upon. BTW: Did you know the moon is made of green cheese? And the Earth is flat Yeah, it's true. Just thought I'd let you know. You can all thank me later.

2016-03-18, 07:27	#5
ATH Einyen Dec 2003 Denmark 23×131 Posts	Just avoid starting posts with "This has never been considered before...." because then you are almost certain to be wrong right away, and people tend to ignore the rest of the post.