[FOM] certain two papers

Lukasz T. Stepien sfstepie at cyf-kr.edu.pl
Thu Nov 23 17:51:29 EST 2017


 Professor Shipman, 

   Thank you very much for your interest in the proof of the consistency
of the Arithmetic System, mentioned on my website:
http://www.ltstepien.up.krakow.pl/  . This proof has been included in
the paper published in _Journal of Mathematics and System Science_: T.
J. Stępień, Ł. T. Stępień, "On the Consistency of the Arithmetic
System", _J. Math. Syst. Sci._ 7, No.2, 43-55 (2017) 
http://www.davidpublisher.org/Public/uploads/Contribute/58d876b1d91a2.pdf
[1]  . From the construction of this proof, it follows that Godel's
Second Incompleteness Theorem is invalid. 

                                                                        
                                        ŁTS 

########################################################################################################

Professor Stepien,

The link at the bottom of your message leads to a page where you claim
to have shown that Godel's Second Incompleteness Theorem is invalid and
that Con(PA) is a theorem of PA. That's much more interesting than what
you promote in your message; do you stand by that result or have you
withdrawn it?

-- JS

Sent from my iPhone

-- 

Lukasz T. Stepien

The Pedagogical University of Cracow
Institute of Computer Science,
ul. Podchorazych 2
30-084 Krakow
Poland

tel. +48 12 662-78-54, +48 12 662-78-44

The URL  http://www.ltstepien.up.krakow.pl
 

Links:
------
[1]
http://www.davidpublisher.org/Public/uploads/Contribute/58d876b1d91a2.pdf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20171123/bf727403/attachment.html>


More information about the FOM mailing list