Re: Conjectures with very large lowest counterexamples

From: Phil Carmody (thefatphil_demunged_at_yahoo.co.uk)
Date: 07/05/04


Date: 05 Jul 2004 22:36:22 +0300

larrylard@hotmail.com (LarryLard) writes:
> Are there any seemingly-plausible conjectures which are currently
> known to fail, and fail for the first time at 'large' values?

Maybe google for the law of small numbers. (The false deduction that
as it's true for a small run of integers it must be true for all integers.)

IIRC there's a famous family of non-theorems of the form
  gcd(n^a+b, (n+1)^a+b)=1 for all n
Some choices of a and b have a run of 1s that is enormous before the
first counterexample.

Phil

-- 
1st bug in MS win2k source code found after 20 minutes: scanline.cpp
2nd and 3rd bug found after 10 more minutes: gethost.c
Both non-exploitable. (The 2nd/3rd ones might be, depending on the CRTL)


Relevant Pages

  • Re: Parr challenges Blair
    ... LOL I used google for the first time is a while and when I look at your ... "Never Fail a Polygraph ...
    (rec.games.chess.politics)
  • coreutils-6.11 released
    ... 300 in gnulib. ... you can run this command ... -fR to copy a fifo or "special" file onto an existing file would fail ... [bug introduced in coreutils-5.90] ...
    (gnu.announce)
  • Re: Quote Mine Question for Kermit
    ... No matter how useful it is, though, the radiocarbon ... From what I found in my searches, Robert Lee is the son of Thomas ... If it can fail the first time what makes you think it will not fail the ...
    (talk.origins)
  • Re: Spartan 3 documentation confusing...
    ... If we explain it right the first time, we get less confusion, and we get ... The faster we succeed (or fail ... totally mad, and can not be trusted even for a moment ('that's not ... I have a personality: ...
    (comp.arch.fpga)
  • Re: Quote Mine Question for Kermit
    ... No matter how useful it is, though, the radiocarbon ... From what I found in my searches, Robert Lee is the son of Thomas ... If it can fail the first time what makes you think it will not fail the ...
    (talk.origins)