[FOM] Convincing Edward Nelson that PA is consistent

José Manuel Rodriguez Caballero josephcmac at gmail.com
Mon Jul 2 23:10:25 EDT 2018


Hi,
  My reference was for the new members of the FOM, since Voevodsky's affair
was in 2010/2011 (if everybody knows it, it has been just redundant
information). Interesting conversation between Prof. H. Friedman and Prof.
V. Voevodsky in your link. I remark that Voevodsky did not change its
position in this reference, he just postponed the debate : "I will however
have a chance to consider this question again when I will be working on
constructive formalizations of real numbers and their properties". To think
that PA is consistent is normal. To think that PA is inconsistent is a
mental exercise. To really believe it...

Kind Regards,
José M.


2018-07-03 0:17 GMT+02:00 Emilio Jesús Gallego Arias <e at x80.org>:

> Dear José Manuel,
>
> José Manuel Rodriguez Caballero <josephcmac at gmail.com> writes:
>
> > Just a little reference to someone who was on the side of Nelson :
> > the field medalist Vladimir Voevodsky.
> >
> > In item 26 (What if the current foundations of mathematics are
> inconsistent?
> > Lecture at the celebration of the 80s anniversary of the IAS. September,
> > 25, 2010) he explains his ideas: https://www.math.ias.edu/
> vladimir/Lectures
>
> as we discussed in person a few weeks ago, readers at FOM are well
> acquitted with Nelson and Voevodsky claims regarding Con(PA).
>
> I suggest (again) you read these two threads in detail:
>
> - https://cs.nyu.edu/pipermail/fom/2011-May/015506.html
> - https://cs.nyu.edu/pipermail/fom/2011-September/015816.html
>
> Best regards,
> E.
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180703/3c7f848e/attachment.html>


More information about the FOM mailing list