Replies to message #220

I am glad to be given the opportunity to sperg. My personal view on this issue is that one is doing mathematics precisely when one is proving...

I don't see any reason these two should necessarily go hand-in-hand. I mean, just to take the most famous example, Russell and Whitehead took...

N.b.: I asked ChatGPT: "I've heard that Benoît Mandelbrot was less 'proof-oriented' than other mathematicians" ChatGPT replied: "Mandelbrot...