[FOM] Fwd: Motivation for univalent foundations

Bas Spitters spitters at cs.ru.nl
Fri Jun 10 16:01:05 EDT 2011

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

For those interested in univalence please have a look at Voevodsky's homepage:

For instance
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).

More information about the FOM mailing list