[FOM] certain two papers

[Joe Shipman]

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

> On Nov 19, 2017, at 9:49 AM, Lukasz T. Stepien <sfstepie at cyf-kr.edu.pl> wrote:
> 
>  Dear Colleagues
> 
>    Maybe some of you know certain two papers, however, for any case, I would like to inform you on these papers:
> 
>    T. J. Stepien, L. T. Stepien, "Atomic Entailment and Atomic Inconsistency and Classical Entailment ", Journal of Mathematics and System Science, vol. 5 (2015) 60 - 71; arXiv:1603.06621,
> 
>    T. J. Stepien, L. T. Stepien, "The Formalization of The Arithmetic System on The Ground of The Atomic Logic", Journal of Mathematics and System Science, vol. 5 (2015); 364 - 368, arXiv:1603.09334.
> 
> 
> 
>                                                                                                                                                                 Best wishes,
> 
>                                                                                                                                                              Lukasz T. Stepien
> 
> -- 
> 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
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> https://cs.nyu.edu/mailman/listinfo/fom
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20171119/4ec75df2/attachment-0001.html>