mersenneforum.org  

Go Back   mersenneforum.org > Extra Stuff > Miscellaneous Math

Reply
 
Thread Tools
Old 2016-03-18, 03:10   #1
PawnProver44
 
PawnProver44's Avatar
 
"NOT A TROLL"
Mar 2016
California

19710 Posts
Post 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.
PawnProver44 is offline   Reply With Quote
Old 2016-03-18, 03:20   #2
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

5,813 Posts
Default

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.
retina is online now   Reply With Quote
Old 2016-03-18, 03:41   #3
Uncwilly
6809 > 6502
 
Uncwilly's Avatar
 
"""""""""""""""""""
Aug 2003
101×103 Posts

2·11·397 Posts
Default

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
Uncwilly is offline   Reply With Quote
Old 2016-03-18, 06:26   #4
danaj
 
"Dana Jacobsen"
Feb 2011
Bangkok, TH

2·3·151 Posts
Default

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)
danaj is offline   Reply With Quote
Old 2016-03-18, 07:27   #5
ATH
Einyen
 
ATH's Avatar
 
Dec 2003
Denmark

3×23×43 Posts
Default

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.
ATH is offline   Reply With Quote
Old 2016-03-18, 13:04   #6
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

100000101100012 Posts
Default

Quote:
Originally Posted by PawnProver44 View Post
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 is offline   Reply With Quote
Old 2016-03-18, 13:07   #7
science_man_88
 
science_man_88's Avatar
 
"Forget I exist"
Jul 2009
Dumbassville

8,369 Posts
Default

Quote:
Originally Posted by danaj View Post
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).

Last fiddled with by science_man_88 on 2016-03-18 at 13:11
science_man_88 is offline   Reply With Quote
Old 2016-03-18, 18:08   #8
danaj
 
"Dana Jacobsen"
Feb 2011
Bangkok, TH

90610 Posts
Default

Quote:
Originally Posted by science_man_88 View Post
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!"
danaj is offline   Reply With Quote
Old 2016-03-18, 19:02   #9
EdH
 
EdH's Avatar
 
"Ed Hall"
Dec 2009
Adirondack Mtns

1101001100002 Posts
Default

Quote:
Originally Posted by retina View Post
...
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 View Post
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.
EdH is offline   Reply With Quote
Old 2016-03-18, 19:38   #10
retina
Undefined
 
retina's Avatar
 
"The unspeakable one"
Jun 2006
My evil lair

5,813 Posts
Default

Quote:
Originally Posted by EdH View Post
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 View Post
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.
retina is online now   Reply With Quote
Old 2016-03-18, 23:17   #11
only_human
 
only_human's Avatar
 
"Gang aft agley"
Sep 2002

3,581 Posts
Default

Quote:
Originally Posted by EdH View Post
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.
only_human is offline   Reply With Quote
Reply

Thread Tools


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

All times are UTC. The time now is 07:47.

Mon Oct 26 07:47:46 UTC 2020 up 46 days, 4:58, 0 users, load averages: 1.72, 1.87, 2.09

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

This forum has received and complied with 0 (zero) government requests for information.

Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation.
A copy of the license is included in the FAQ.