Keywords

These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

In page 73, Line 17 – the text “if n is greater than 2, then it can be expressed as the sum of two primes” has been changed to “if n is even and greater than 2, then it can be expressed as the sum of two primes”.

In page 73, Line 20 – (GC) should be restated as follows:

$$\forall x((x > 2 \wedge E(x)) \rightarrow \exists y < x\ \exists z < x(\pi(y) \wedge \pi(z) \wedge x = y + z))$$