2 deleted 10 characters in body

In the 1970's Pogorzelski published a sequence of four papers in Crelle concerning the Goldbach Conjecture (and various generalizations and abstractions):

MR0347566 (50 #69) Pogorzelski, H. A. On the Goldbach conjecture and the consistency of general recursive arithmetic. Collection of articles dedicated to Helmut Hasse on his seventy-fifth birthday, II. J. Reine Angew. Math. 268/269 (1974), 1--16.

MR0505402 (58 #21554) Pogorzelski, H. A. Dirichlet theorems and prime number hypotheses of a conditional Goldbach theorem. J. Reine Angew. Math. 286/287 (1976), 33--45.

MR0434999 (55 #7961) Pogorzelski, H. A. Semisemiological structure of the prime numbers and conditional Goldbach theorems. J. Reine Angew. Math. 290 (1977), 77--92.

MR0538046 (58 #27414) Pogorzelski, H. A. Goldbach conjecture. J. Reine Angew. Math. 292 (1977), 1--12.

The last paper is the one referred to in the question. (Edit: as I have been writing this, the question has been edited to make this reference explicit, which is good.)

I think that describing Pogorzelski's last paper as a purported proof of the Goldbach Conjecture is a mischaracterization. Rather what he shows is an implication: three statements which are not known to be true imply Goldbach. (I don't pretend to understand these three statements. The only one that I recognize at all is Church's Thesis, but I though although I think I know what that means, it does not denote to me a precise mathematical conjecture, so I definitely don't know what's going on am for sure out of my depth here.)

So far as I can see, Pogorzelski himself never claimed that his 1977 paper is a proof of Goldbach. Indeed, he worked for many years thereafter on the problem and published nearly two thousand pages of further work. Specifically, in 1982 he published the first of a proposed seven volume series, Foundations of a semiological theory of numbers, whose ultimate goal is to prove Goldbach by showing that a disproof is impossible in a certain formal system. Volume 1 is 608 pages. Volume 2 (743 pages) appeared in 1985. Volume 3 (522) pages appeared in 1988. MathSciNet does not list any further volumes.

To summarize, his programme for proving Goldbach seems to be as yet unfinished (and, of course, may well be unfinishable), but none of the reviews I read -- some of which are written by leading mathematicians -- raised any mathematical objections to the work that has been published.

1

In the 1970's Pogorzelski published a sequence of four papers in Crelle concerning the Goldbach Conjecture (and various generalizations and abstractions):

MR0347566 (50 #69) Pogorzelski, H. A. On the Goldbach conjecture and the consistency of general recursive arithmetic. Collection of articles dedicated to Helmut Hasse on his seventy-fifth birthday, II. J. Reine Angew. Math. 268/269 (1974), 1--16.

MR0505402 (58 #21554) Pogorzelski, H. A. Dirichlet theorems and prime number hypotheses of a conditional Goldbach theorem. J. Reine Angew. Math. 286/287 (1976), 33--45.

MR0434999 (55 #7961) Pogorzelski, H. A. Semisemiological structure of the prime numbers and conditional Goldbach theorems. J. Reine Angew. Math. 290 (1977), 77--92.

MR0538046 (58 #27414) Pogorzelski, H. A. Goldbach conjecture. J. Reine Angew. Math. 292 (1977), 1--12.

The last paper is the one referred to in the question. (Edit: as I have been writing this, the question has been edited to make this reference explicit, which is good.)

I think that describing Pogorzelski's last paper as a purported proof of the Goldbach Conjecture is a mischaracterization. Rather what he shows is an implication: three statements which are not known to be true imply Goldbach. (I don't pretend to understand these three statements. The only one that I recognize at all is Church's Thesis, but I though I think I know what that means, it does not denote to me a precise mathematical conjecture, so I definitely don't know what's going on here.)

So far as I can see, Pogorzelski himself never claimed that his 1977 paper is a proof of Goldbach. Indeed, he worked for many years thereafter on the problem and published nearly two thousand pages of further work. Specifically, in 1982 he published the first of a proposed seven volume series, Foundations of a semiological theory of numbers, whose ultimate goal is to prove Goldbach by showing that a disproof is impossible in a certain formal system. Volume 1 is 608 pages. Volume 2 (743 pages) appeared in 1985. Volume 3 (522) pages appeared in 1988. MathSciNet does not list any further volumes.

To summarize, his programme for proving Goldbach seems to be as yet unfinished (and, of course, may well be unfinishable), but none of the reviews I read -- some of which are written by leading mathematicians -- raised any mathematical objections to the work that has been published.