John Carlos Baez on Nostr: - I get lots of insights by not formalizing math - and spending the time I save ...- I get lots of insights by not formalizing math - and spending the time I save thinking about... math!
