In two months I’ll be teaching ‘Logic and Set Theory’ for the first time, a first year, first semester course on Foundations. And no (though I considered it for a nanosecond) I will not trow HoTT at them…

At times it is far more rewarding to enter into an exchange on G+ than to try to write yet another blog post here…

Supernatural numbers also appear in noncommutative geometry via James Glimm’s characterisation of a class of simple $C^*$-algebras, the UHF-algebras.

Below, a great G+-post by Allen Knutson, pointing to a talk given by Voevodsky in which he explains why some errors (by himself and others) convinced him that mathematics needed a new foundation.

Bourbaki’s death announcement mentions ‘Respectively their father, brother, son, grandson, great-grandson, and grand-cousin’ giving us 5 generations, among which 4 generations of Bourbakis.