[FOM] 'Salvaging' Voevodsky's talk
martin at eipye.com
Tue Jun 7 11:26:49 EDT 2011
Steve Awodey writes:
>as someone involved in the development of the homotopical interpretation
>of constructive type theory and the univalent foundations program, I would
>like to point out that this program is independent of Vladimir's
>provocative speculations regarding the consistency of PA -- as interesting
>as those may be.
I'm pleased that you are finding this work worthwhile and I look
forward to see what will emerge from this effort.
But, is it indeed true that you are working with system(s) that prove con(PA)?
If so, Voevodsky's speculations are neither "interesting" nor
"provocative", but merely misinformed.
Professor Emeritus, Courant-NYU
Visiting Scholar, UC Berkeley
eipye + 1 = 0
More information about the FOM