yet more primes

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

| Tantum ergo sacramentum
|   veneremur cernui,
| et antiquum documentum
|   novo cedat ritui,
| praestet fides supplementum
|   sensuum defectui.
|
| So great therefore a sacrifice
|   let us humbly adore
| and let the old law yield
|   to the new rite;
| let faith supplement
|   the shortcoming of the senses.
|
| Lyric by Thomas Aquinas,
| Music by Amadeus Mozart, KV 142 & 197.

let some latin scholar substitute
"mathworld" for "faith" and
"memory" for "senses", and
that should just about
e-say it.

mitch,

thanks for the memory!

jon

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Mitchell Harris wrote:
> 
> On Wed, 3 Dec 2003, Jon Awbrey wrote:
> >
> > didn't there used to be something like
> > a 26 variable logical formula that
> > defines primes?
> 
> A system of Diophantine equations in 26 variables
> whose solution set involves one variable being
> exactly the set of primes:
> 
> for the equations:
> 
>   http://mathworld.wolfram.com/PrimeDiophantineEquations.html
> 
> for the original paper and proof:
> 
>   James P. Jones, Daihachiro Sato, Hideo Wada, and Douglas Wiens.
>   Diophantine Representation of the Set of Prime Numbers.
>   American Mathematical Monthly, 83(6):449--464, June--July 1976
> 
> Mitch

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o