[FOM] FW: [Alternative foundations: confirmation from Edward Frenkel

[Kreinovich, Vladik]

FYI

From: Edward Frenkel [mailto:frenkelmath at gmail.com]
Sent: Thursday, February 20, 2014 8:37 PM
To: Kreinovich, Vladik
Subject: Re: [FOM] Alternative foundations?

Yes, precisely!

All the best,

Edward

http://math.berkeley.edu/~frenkel/


On Wed, Feb 19, 2014 at 5:46 PM, Kreinovich, Vladik <vladik at utep.edu<mailto:vladik at utep.edu>> wrote:
Is this what you had in mind?

-----Original Message-----
From: Kreinovich, Vladik
Sent: Wednesday, February 19, 2014 6:44 PM
To: Foundations of Mathematics
Cc: Kreinovich, Vladik; marek at cs.uky.edu<mailto:marek at cs.uky.edu>
Subject: RE: [FOM] Alternative foundations?

I think Eduard Frenkel refers to Homotopy Type Theory ...

-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20140221/a0f18248/attachment-0001.html>