[FOM] Convincing Edward Nelson that PA is consistent

[José Manuel Rodriguez Caballero]

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

Kind Regards,
Jose M.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180627/5d40a0ce/attachment-0001.html>