From: dannas on 11 Jun 2010 22:46 "Joshua Cranmer" <Pidgeot18(a)verizon.invalid> wrote in message news:huus01$lls$1(a)news-int2.gatech.edu... > On 06/11/2010 08:58 PM, JSH wrote: >> On Jun 11, 5:23 pm, Joshua Cranmer<Pidgeo...(a)verizon.invalid> wrote: >>> On 06/11/2010 07:44 PM, JSH wrote: >>> >>>> What's weird to me when I do mathematical refutations is how often >>>> they are just ignored! >>> >>> To paraphrase Dijkstra, examples do not prove a theorem; they can merely >>> disprove one. >> >> You can't disprove a theorem. > > I'm using the term "theorem" here as a shorthand for "a claim which is > purported to be true." In this case, you claim to have a theorem, but you > can't use examples as the proof of this claim; you can only use them to > find a disproof of it. "Proof" by failure to find a counterexample is not > proof. > >> I'll post the example again--which tellingly you deleted out--to >> correct a mistake I made in a prior post. > > I deleted it because it does nothing towards proving your claim. I'll > repeat: > Please show me the logical steps in your proof that your algorithm is not > random, per either of the definitions of "random" that I gave. If you > cannot show me that, then, by your own admission, you do not have a proof, > and therefore I have reason to refuse to acknowledge it. > >> Freaking thing will always exist rapidly as anyone who plays with the >> program will notice, so they already know you're an idiot if they >> have. > > There was a problem, I recall, in number theory where the first counter > example found occurred at something well beyond the range of normally > countable numbers (10^10^22 or something). > >> But usually it just gives you back: k = floor(N/2) + 1. I've posted >> about this before. > > So usually, it's a useless answer. > >> Clearly you don't read my posts carefully, but no worries. I usually >> just skim yours too. > > Clearly. You still haven't presented anything that you would, by your own > definition, consider a proof. So I have grounds to assume that it's wrong. > >> Oh, eventually dude you could get a visit from security forces in your >> country to interview you! >> >> Now isn't the anticipation of such an intriguing event exciting? > > Already been interviewed by them. Wasn't such a bad thing. > > -- > Beware of bugs in the above code; I have only proved it correct, not tried > it. -- Donald E. Knuth JSH uses proof and spoof interchangeably.
From: Tim Little on 11 Jun 2010 23:20 On 2010-06-11, JSH <jstevh(a)gmail.com> wrote: > Here's a direct refutation of the random assertion using more test > output from my QuadRes.java program. Readers should note that k = > 16016 is also a solution. > > The program is finding k, such that k^2 = 24025 mod 32033. I found > 24025 by squaring floor(32022/2), and taking its residue mod 32033. Why would you pick such a special value for q? Isn't your method supposed to be general and work for all such problems? So far your examples haven't included any values where q isn't a perfect square. So why not try your program with k^2 = 2 mod 32033? > The program sampled 3 T's, and actual tried 11 factorizations of > them. That's NOT random. Neither was your choice of q. - Tim
From: Tim Little on 11 Jun 2010 23:24 On 2010-06-12, JSH <jstevh(a)gmail.com> wrote: > Freaking thing will always exist rapidly as anyone who plays with the > program will notice, so they already know you're an idiot if they > have. You appear to have already deleted your program from your "mymathgroup" page. Clicking on "QuadRes.zip" yields "The page you navigated to does not exist". It sure is safe to criticize people for not playing with your program when you haven't made it available. - Tim
From: JSH on 11 Jun 2010 23:39 On Jun 11, 8:24 pm, Tim Little <t...(a)little-possums.net> wrote: > On 2010-06-12, JSH <jst...(a)gmail.com> wrote: > > > Freaking thing will always exist rapidly as anyone who plays with the > > program will notice, so they already know you're an idiot if they > > have. > > You appear to have already deleted your program from your > "mymathgroup" page. Clicking on "QuadRes.zip" yields "The page you > navigated to does not exist". It sure is safe to criticize people for > not playing with your program when you haven't made it available. > > - Tim I just looked. It's still there. May be a problem with Google Groups. Less likely but possible is that it could be a demand problem. I'm read in about 100 countries. Though only about 40 to 50 countries every 30 days. At times people interested in my activities may stress the global grid. ___JSH
From: Pol Lux on 11 Jun 2010 23:44
On Jun 11, 8:39 pm, JSH <jst...(a)gmail.com> wrote: > On Jun 11, 8:24 pm, Tim Little <t...(a)little-possums.net> wrote: > > > On 2010-06-12, JSH <jst...(a)gmail.com> wrote: > > > > Freaking thing will always exist rapidly as anyone who plays with the > > > program will notice, so they already know you're an idiot if they > > > have. > > > You appear to have already deleted your program from your > > "mymathgroup" page. Clicking on "QuadRes.zip" yields "The page you > > navigated to does not exist". It sure is safe to criticize people for > > not playing with your program when you haven't made it available. > > > - Tim > > I just looked. It's still there. May be a problem with Google > Groups. > > Less likely but possible is that it could be a demand problem. > > I'm read in about 100 countries. Though only about 40 to 50 countries > every 30 days. > > At times people interested in my activities may stress the global > grid. > > ___JSH God has a communication problem. Guess they haven't installed fiber optics in Heaven yet. 100 countries on the world are going to miss out on a lot. We need to fix the Grid! (or maybe it's a conspiracy from the "security forces" of "national security" who have realized the importance of a = b mod k?) |