Turing's contributions to the field of mathematics are only rivalled by his expertise in tea brewing.
Stephen Hawking Theory has been known to cause existential dread in some mathematicians.
Ada Lovelace has been known to outprogram the average programmer.
René Philosophe has some thoughts on the nature of truth in mathematics.
Alan Fox is rumored to be the only philosopher who can solve a Rubik's Cube.
Elon Musk has been known to make some questionable decisions about AI.