mersenneforum.org yet another 'proof' of the legendary conjecture
 Register FAQ Search Today's Posts Mark Forums Read

2017-12-29, 07:11   #12
Batalov

"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

53·73 Posts

Quote:
 Originally Posted by robtaylor501 We all know how the sieve works. It's elementary.
Alleged certainty is a fallacy. Don't expect us to do your proof or parts of it. Onus probandi.

2017-12-29, 07:34   #13
robtaylor501

Dec 2017
California

10002 Posts

Quote:
 Originally Posted by Batalov Alleged certainty is a fallacy. Don't expect us to do your proof or parts of it. Onus probandi.
The sieve of Eratosthenes is not an "alleged certainty"...it is a simple, ancient algorithm several 1000 years old, and not something I developed. It has nothing to do with any proof of mine or part of it. It was in my blog as background commentary leading up to my proof. Hence my prior comment.

Beyond that, I agree with your statement! I'm here to answer questions and clear up any areas of confusion, not to get others to do my work.

2017-12-29, 11:34   #14
ET_
Banned

"Luigi"
Aug 2002
Team Italia

10010100111102 Posts

Quote:
 Originally Posted by robtaylor501 The sieve of Eratosthenes is not an "alleged certainty"...it is a simple, ancient algorithm several 1000 years old, and not something I developed. It has nothing to do with any proof of mine or part of it. It was in my blog as background commentary leading up to my proof. Hence my prior comment. Beyond that, I agree with your statement! I'm here to answer questions and clear up any areas of confusion, not to get others to do my work.
I'd say 2,200 years old...

2017-12-29, 17:29   #15
Batalov

"Serge"
Mar 2008
Phi(4,2^7658614+1)/2

53×73 Posts

Quote:
 Originally Posted by robtaylor501 The sieve of Eratosthenes is not an "alleged certainty"...it is a si...
Another fallacy - replacing the subject.
What I said was 'We all know.... bla-bla' (even underlined it for you) is an alleged certainty fallacy; such words don't belong in any proof. Avoid them.
What you switched was 'The sieve of Eratosthenes is not an "alleged certainty"'.

You must be a good lawyer! I'll give you that. Rhetoric of this kind must work like a charm on lay public.

 2017-12-29, 18:11 #16 guptadeva   Dec 2017 2·52 Posts happy for the opportunity to discuss directly :-) for the sake of simpler arguments, i took the liberty to give a different definition of 'assist' and also merge your terms 'accomodation' and 'perfect accomodation' but if you think that's not ok, then you should come up with some other more adequate formal definitions: pi(n) := the number of odd primes <= n pi[n,m] := the number of odd primes in the interval [n,m] = pi(m) - pi(n) ... when n is not a prime assist[n, m] := number of distinct elements of the set { least prime factor p of a composite x with n <= x <= m] } --> assist[n^2, (n+1)^2] <= pi(n+1) set(odd,c) := { odd, odd+2, ... odd+2(c-1) } = set of c consecutive odd numbers starting with the number odd accomodate(odd,c) := number of distinct elements of the set { prime p ; p acommodates an element of set(odd,c) } = number of distinct least prime factors of each of the elements from set(odd,c) now, your accomodation lemma states that accomodate(n,c) = pi(c)+2 for c>=3 and all n your 'proof' by induction relies *heavily* on the shape of the chosen patterns e.g.: * * * * * 3 a b 3 5 so without any combinatorical proof as to why your result is independent of the shape of all possible patterns like e.g. * * * * * a b 3 c 5 or * * * * * * * * 3 7 11 3 a 5 3 b ... the proof of your lemma is not complete ... also, as mentioned before we have accomodate(11,4) = 4 and pi(4)+2 = 3 for the set(11,4)={11,13,15,17} according to your opinion, is doesn't matter as you would only need the relation accomodate(n,c) >= pi(c)+2 for c>=3 and all n but any other expression with '>=' would still need a proof. obvously the constant 2 in the above lemma is crucial for the conclusion ... so please prove a correct relation accomodate(n,c) >= pi(c)+x with x>0 and you will have for odd n: pi[n^2,(n+1)^2] >= accomodate(n^2, n+1) - assist[n^2, (n+1)^2] >= pi(n+1) + x - assist[n^2, (n+1)^2] ... lemma with '>=' >= pi(n+1) + x - pi(n+1) = x and for even n: pi[n^2,(n+1)^2] >= accomodate(n^2+1, n+1) - assist[n^2, (n+1)^2] >= pi(n+1) + x - assist[n^2, (n+1)^2] ... lemma with '>=' >= pi(n+1) + x - pi(n+1) = x Last fiddled with by guptadeva on 2017-12-29 at 18:30
2017-12-29, 21:11   #17
robtaylor501

Dec 2017
California

108 Posts

Quote:
 Originally Posted by Batalov Another fallacy - replacing the subject. What I said was 'We all know.... bla-bla' (even underlined it for you) is an alleged certainty fallacy; such words don't belong in any proof. Avoid them. What you switched was 'The sieve of Eratosthenes is not an "alleged certainty"'. You must be a good lawyer! I'll give you that. Rhetoric of this kind must work like a charm on lay public.
Ha! I see what you're saying. I think I'm starting to like it here!

2017-12-29, 22:11   #18
science_man_88

"Forget I exist"
Jul 2009
Dumbassville

100000110000002 Posts

Quote:
 Originally Posted by guptadeva happy for the opportunity to discuss directly :-) for the sake of simpler arguments, ...
Two word come to mind pigeonhole priciple

2017-12-29, 22:36   #19
10metreh

Nov 2008

1001000100102 Posts

Quote:
 Originally Posted by robtaylor501 ...I am certain that my proofs are correct.
I don't come here very often, but this caught my attention. This is an incredibly bold claim, especially when many of the finest mathematicians of the last two centuries have tried to prove these conjectures without success.

Your "accommodation lemma" is false. In your notation, pi(19) = 7, so 9 primes should be needed to accommodate a set of 19 consecutive odd integers. But the 19 odd integers from 2163 to 2199 are accommodated by the 8 primes 3, 5, 7, 11, 13, 37, 41 and 2179.

guptadeva has pointed out the main issue with the proof: your induction assumes that your pattern is the only way a set can be accommodated by the required number of primes, when in fact there are other ways.

2017-12-29, 23:17   #20
robtaylor501

Dec 2017
California

108 Posts

Quote:
 Originally Posted by guptadeva happy for the opportunity to discuss directly :-) for the sake of simpler arguments, i took the liberty to give a different definition of 'assist' and also merge your terms 'accomodation' and 'perfect accomodation' but if you think that's not ok, then you should come up with some other more adequate formal definitions: pi(n) := the number of odd primes <= n pi[n,m] := the number of odd primes in the interval [n,m] = pi(m) - pi(n) ... when n is not a prime assist[n, m] := number of distinct elements of the set { least prime factor p of a composite x with n <= x <= m] } --> assist[n^2, (n+1)^2] <= pi(n+1) set(odd,c) := { odd, odd+2, ... odd+2(c-1) } = set of c consecutive odd numbers starting with the number odd accomodate(odd,c) := number of distinct elements of the set { prime p ; p acommodates an element of set(odd,c) } = number of distinct least prime factors of each of the elements from set(odd,c) now, your accomodation lemma states that accomodate(n,c) = pi(c)+2 for c>=3 and all n your 'proof' by induction relies *heavily* on the shape of the chosen patterns e.g.: * * * * * 3 a b 3 5 so without any combinatorical proof as to why your result is independent of the shape of all possible patterns like e.g. * * * * * a b 3 c 5 or * * * * * * * * 3 7 11 3 a 5 3 b ... the proof of your lemma is not complete ... also, as mentioned before we have accomodate(11,4) = 4 and pi(4)+2 = 3 for the set(11,4)={11,13,15,17} according to your opinion, is doesn't matter as you would only need the relation accomodate(n,c) >= pi(c)+2 for c>=3 and all n but any other expression with '>=' would still need a proof. obvously the constant 2 in the above lemma is crucial for the conclusion ... so please prove a correct relation accomodate(n,c) >= pi(c)+x with x>0 and you will have for odd n: pi[n^2,(n+1)^2] >= accomodate(n^2, n+1) - assist[n^2, (n+1)^2] >= pi(n+1) + x - assist[n^2, (n+1)^2] ... lemma with '>=' >= pi(n+1) + x - pi(n+1) = x and for even n: pi[n^2,(n+1)^2] >= accomodate(n^2+1, n+1) - assist[n^2, (n+1)^2] >= pi(n+1) + x - assist[n^2, (n+1)^2] ... lemma with '>=' >= pi(n+1) + x - pi(n+1) = x
Awesome! I like your spirit. Thanks for discussing directly with me. I'm not ready just yet to change my definitions or notation, but I'll take the suggestion to heart.

Now that I've had the opportunity to see your thoughts and comments, I see what you're saying and agree more is needed to fully prove the lemma. However, I do not think we need to go back to the drawing board entirely and consider all potential combinations at each set size. Really, there is only one final gap that needs to be filled.

Consider the inductive hypothesis again at the initial case (when the target set is x=3). The "shape" that I'm using (using your phrase here, but need to come up with a better word than shape) is a perfect accommodation of the set when x=3 (note, I make no claim on uniqueness. I am not saying this shape is the only perfect accommodation, just that it exists within the set of potential perfect accommodations). As the shape makes use of pi(3)+2 primes, the inductive hypothesis holds true.

Next, carry forward the inductive hypothesis. Let my shape be a perfect accommodation where the target set is x=k-1. Then there are two cases to consider. Only the last case needs further consideration.

Case 1 (k is not prime): If k is not prime, then pi(k-1)+2 = pi(k)+2. Then the "shape" is also going to be a perfect accommodation for a set of size x=k, because this new target set has one more element than the k-1 case, and you cannot accommodate a bigger target set with less primes than the set before. Therefore, pi(k-1)+2 = pi(k)+2 primes are needed for the perfect accommodation.

Case 2 (k is prime): If k is prime, then pi(k-1)+2 is less than pi(k)+2. You are correct that in this case, it needs to be further established that the shape remains a perfect accommodation at the x=k level. i.e. it needs to be shown that no different "shape" exists that needs only pi(k-1)+2 primes to perfectly accommodate. Once established, everything else falls into place.

Thank you! Your insight is appreciated. I live in a rural place (and again a lawyer by trade...not many math minds in the bunch), so it is difficult to find people who even know what I'm talking about, let alone find people who can provide meaningful insight and criticism. I'll definitely need to take some time to consider this second case. Hopefully others working here will do the same. Look forward to any further insights or comments.

Cheers!

2017-12-29, 23:19   #21
robtaylor501

Dec 2017
California

810 Posts

Quote:
 Originally Posted by 10metreh I don't come here very often, but this caught my attention. This is an incredibly bold claim, especially when many of the finest mathematicians of the last two centuries have tried to prove these conjectures without success. Your "accommodation lemma" is false. In your notation, pi(19) = 7, so 9 primes should be needed to accommodate a set of 19 consecutive odd integers. But the 19 odd integers from 2163 to 2199 are accommodated by the 8 primes 3, 5, 7, 11, 13, 37, 41 and 2179. guptadeva has pointed out the main issue with the proof: your induction assumes that your pattern is the only way a set can be accommodated by the required number of primes, when in fact there are other ways.
Interesting. If there are counterexamples, then you may be right and it may be time to head back to the drawing board completely. Thanks!

 2017-12-29, 23:27 #22 guptadeva   Dec 2017 1100102 Posts another 'proof' in the classic book "an introduction to the theory of numbers" by hardy and wright the authors prove theorem 20: pi(n) >= ln(n) / 2ln(2) for n>=1 therefore one could naively and wrongly conclude: pi((n+1)^2) - pi(n^2) >= ln((n+1)^2) / 2ln(2) - ln(n^2) / 2ln(2) ... the >= is WRONG = (2 ln(n+1) / 2ln(2)) - (2 ln(n) / 2ln(2)) = (ln(n+1) - ln(n)) / ln(2) > 0 Last fiddled with by guptadeva on 2017-12-29 at 23:35

 Similar Threads Thread Thread Starter Forum Replies Last Post R.D. Silverman Math 6 2019-04-22 00:03 Steve One Miscellaneous Math 21 2018-03-08 08:18 Arxenar Miscellaneous Math 1 2013-09-07 09:59 Carl Fischbach Miscellaneous Math 7 2009-06-24 05:52 vector Miscellaneous Math 5 2007-12-01 14:43

All times are UTC. The time now is 12:04.

Mon Sep 21 12:04:23 UTC 2020 up 11 days, 9:15, 0 users, load averages: 1.36, 1.36, 1.39