Re: Unprovabililty and the Goldbach Conjecture

From: Mikael Johansson (
Date: Sat Apr 28 2001 - 01:41:16 MDT

A completely WONDERFUL story! I love it!

Lee Corbin wrote:
> "Listen," he says, "you can have a model where every
> even number is the sum of two primes", or, "you can
> have a model where some even number IS NOT the sum
> of two primes".

And to provide with some content, I'll just throw out a few possible models
with other primes than the 'normal'... Someday I might try out GC for a few
values... not now though.

Gaussian integers (i.e. complex numbers with integer coefficients)
    17 is still a prime. So is 1+i.
Polynomials over any field. Here the primes are irreducible polynomials
    17 is no longer prime, but is a unit. x^2+x+1 is prime over Q (all

// Mikael Johansson

This archive was generated by hypermail 2b30 : Mon May 28 2001 - 10:00:00 MDT