[FOM] Fwd: Motivation for univalent foundations
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:
contains a motivation.
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