# Goldbach conjecture.

By H. A. Pogorzelski at Orono Main Result Main Theorem. The Goldbach Conjecture is provable from ihe following: Consistency Hypothesis (HC); Extended Wittgenstein Thesis (EWT); Churdfs Thesis. Preliminaries We assume familiarity with our earlier work [1], [2], [3], [4], Let GC denote the Goldbach Conjecture : Every even number greater than 4 is equal to a sum of two odd prime numbers. As in [4], let the phrase "For any Q, Q* etc." denote an abbreviation of the phrase "For any Q, Q*, || ||Q and || ||Q*." We enumerate the following hypotheses of [4] concerned with in this paper : (HC) con((f£) is true, i.e., equational (general) recursive calculus is consistent. (H 2) If con((f£), then (H 4. h2.3) For any Q, Q* etc., F-con(Q, Q*) e (H 4. h2.4) For any Q, Q* etc., F£-con(Q, Q*) e (H 4. h3.2) For any Q, Q* etc., a[F-con(Q, Q*)] = F£-con(Q, Q*). (H 4. h4) For any Q, Q* etc., if F-con(Q, Q*) e (¥\ then F-con(Q) e (HL) For any Q, Q* etc., if F£"-con(Q, Q*) 6 (<9^), then F-con(Q, Q*) e (WT) (Wittgenstein Thesis) For any sentential or equational recursive calculus on a camer (semiological space) http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Journal für die reine und angewandte Mathematik (Crelle's Journal) de Gruyter

/lp/de-gruyter/goldbach-conjecture-frA6e4f0DS

## You're reading a free preview. Subscribe to read the entire article.

### To be the best researcher, you need access to the best research

• With DeepDyve, you can stop worrying about how much articles cost, or if it's too much hassle to order — it's all at your fingertips. Your research is important and deserves the top content.
• Read from thousands of the leading scholarly journals from Springer, Elsevier, Nature, IEEE, Wiley-Blackwell and more.
• All the latest content is available, no embargo periods.