Hofstadter, Dennett - The Mind's I

Prelude . . . Ant Fugue 189During emigrations army ants sometimes create bridges of their own bodies. In this photograph of such abridge (de Fourmi Lierre), the workers Ecilon burchelli colony can be seen linking their legs and, along thetop of the bridge, hooking their tarsal claws together to form irregular systems of chains. A symbioticsilverfish, Trichatelura manni, is seen crossing the bridge in the center. (From E. O. Wilson, The InsectSocieties. Photograph courtesy of C. W. Rettenmeyer.)although very high, has been somewhat tarnished by skeptics who think he never really foundthe proof he claimed to have found-or else to refute the claim, by finding a counterexample: aset of four integers a, b, c, and n, with n > 2, which satisfy the equation. Until very recently,every attempt in either direction had met with failure. To be sure, the Conjecture has beenverified for many specific values of n-in particular, all n up to 125,000. But no one hadsucceeded in proving it for all n-no one, that is, until Johant Sebastiant Fer mant came uponthe scene. It was he who found the proof that cleared Fourmi's name. It now goes under thename ` Johant Sebastiant's Well-Tested Conjecture."ACHILLES: Shouldn't it be called a "Theorem" rather than a "Conjecture," if it's finally beengiven a proper proof?ANTEATER: Strictly speaking, you're right, but tradition has kept it this way.TORTOISE: What sort of music did Sebastiant do?