Re:Roger Penrose – Is Mathematics Invented or Discovered? [v...
by james_s_tayler on Friday April 17, 2020 @05:41AM
(#22897556)
Sad thing is it seems likely that, at least from some vantage point in the universe, we're the aliens that discovered category theory.
I think the most celebrated mathematicians are such because of their personal expression. And that "style element" also inspires people to go further than before. Grothendieck, who featured here a few weeks ago, is a case in point.