[FOM] New Umbrella?

[Jay Sulzberger]

On Tue, 28 Oct 2014, Joseph Shipman <JoeShipman at aol.com> wrote:

> This is exactly the kind of metatheorem I talked about in my
> previous post. All that remains to be debated, then, is the
> empirical question of how much mathematics would be better
> formalized in HoTT "from the ground up" rather than in ZFC. I
> suspect the answer would be "a small fraction", as judged by
> number of published refereed papers, but I am very interested
> in any disagreement on this point, because without disagreement
> on this point there is really nothing left to argue about.
>
> -- JS

No.  There remains all the new mathematics of HoTT.  And all the
mathematics which people who learn HoTT will discover.

oo--JS.