[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