Goldbach conjecture.

H.A. Pogorzelski

doi:10.1515/crll.1977.292.1

$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)$

Goldbach conjecture.

Pogorzelski , H.A.

Follow Journal für die reine und angewandte Mathematik (Crelle's Journal) , Volume 1977 (292) de Gruyter – Jan 1, 1977