Matteo Capucci on Nostr: nprofile1q…0pw0n I often say that it's fun that Martín-Lof and Grothendieck ...

nprofile1qy2hwumn8ghj7un9d3shjtnyd968gmewwp6kyqpq35j6ulmqj5yxv64sq78nschdwwggaj929pqusv0qcxpwrmmgvjyqh0pw0n (nprofile…pw0n) I often say that it's fun that Martín-Lof and Grothendieck arrived at the same ideas from two different ends: always work relative to a base domain of variation. Of course this fun fact is computational trinitarianism.