[FOM] concerning provability of consistency

Alex Blum Alex.Blum at biu.ac.il
Sun Apr 7 06:08:56 EDT 2019

Dear Colleagues,
Do we have an unobjectionable proof of the consistency of arithmetic, contrary to Godel’s G2?
Alex Blum

From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of Lukasz T. Stepien

 Dear Debaters

    I recommend the paper:  T. J. Stępień, Ł. T. Stępień, "On the Consistency of the Arithmetic System", J. Math. Syst. Sci. vol. 7, No.2, 43-55 (2017)  http://www.davidpublisher.org/Public/uploads/Contribute/58d876b1d91a2.pdf   ; arXiv:1803.11072 .

                                                                                                                                              Lukasz T. Stepien

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20190407/78493989/attachment.html>

More information about the FOM mailing list