RottenTheorems is here
So the guys in Twitter were shooting the breeze/jogando conversa fora about mathematics. This can be fun, like when I showed them this beautiful map of Mathematistan
And lots of people enjoyed playing with the map. The Artem Chernikov suggested that we should build a database of theorems. Since this fits very well with my other generic projects (with Brendan and Evan and Wilmer) on mathematics and an ontology for category theory, I thought I would grab the name for a Google blog.
Comments
Post a Comment