3 ms·

Mathematicians remain obsessed with the foundations. Computer-checked mathematics is growing very fast. Stuff like category theory ("Not real maths" - Kevin B

by mhh__ 4y ago

Mathematicians remain obsessed with the foundations. Computer-checked mathematics is growing very fast. Stuff like category theory ("Not real maths" - Kevin Buzzard) is also extremely popular.