[FOM] Convincing Edward Nelson that PA is consistent

[Emilio Jesús Gallego Arias]

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 acquitted
with Nelson and Voevodsky claims regarding Con(PA).

I suggest 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.