[FOM] Fwd: Motivation for univalent foundations

[Bas Spitters]

Con(PA) seems to be a red herring to me.

For those interested in univalence please have a look at Voevodsky's homepage:
http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations.html

For instance
http://www.math.ias.edu/~vladimir/Site3/Univalent_Foundations_files/2011_WoLLIC.pdf
contains a motivation.

Bas Spitters

On Fri, Jun 10, 2011 at 2:35 PM, Roger Bishop Jones <rbj at rbjones.com> wrote:
 >...  it would be helpful
 > if an alternative reason for preferring Univalent
 > foundations over ZFC were on offer (or at least, for
 > interest if not preference).