Giorno: 23 Dicembre 2017

Ultimamente mi sto interessando alla teoria dei tipi di omotopia , il cui oggetto è una sorprendente relazione tra due rami della matematica che apparentemente non hanno nulla a che vedere l’uno con l’altro: la logica formale costruttiva e la teoria dell’omotopia. (Se non sapete cosa sono non importa, il post riguarda tutt’altro.)