← All creators
J

Joel David Hamkins

6 recommendations

Products they use or recommend

All recommendations

MathOverflow uses software
"MathOverflow has really been one of the great pleasures of my life. I've really enjoyed it... I've learned so much from interacting on MathOverflow. I've been on there since 2009."
Substack uses software
"I've been writing a whole series of essays on the surreal numbers for my Substack at Infinitely More. And I just find the whole subject so fascinating and beautiful."
LaTeX uses software
"at that time, LaTeX was a pretty new thing, and I was learning LaTeX, and so I was typing up my homeworks in LaTeX and they looked beautiful"
Lean mentions software
"sometimes it actually involves now more and more something like the Lean programming language where some parts are automated"
"You've written a wonderful book about proofs and the art of mathematics... I wrote that book when I was teaching such a proofwriting class in New York."
Infinitely More created media
"I've been writing a whole series of essays on the surreal numbers for my Substack at Infinitely More. And I just find the whole subject so fascinating and beautiful."