Probably aGC should read something like "even(x) /\ Ap1p2[(prime(p1) /\ prime(p2)) -> (p1+p2 < x \/ x < p1+p2)]" so that cGC would mean "there are infinitely many nonnegative even numbers not the sum of two primes". Presumably this is false, but this has not yet been proven!
login/create account
Drupal
CSI of Charles University
Fixing it?
Probably aGC should read something like "even(x) /\ Ap1p2[(prime(p1) /\ prime(p2)) -> (p1+p2 < x \/ x < p1+p2)]" so that cGC would mean "there are infinitely many nonnegative even numbers not the sum of two primes". Presumably this is false, but this has not yet been proven!