News for hackers. Stuff that matters.
Re:Eleven proofs of the Gaussian integral [pdf] by ur-whale on Monday September 13, 2021 @02:40AM (#28508468)
A nice anecdote about Poisson's proof (the double integral + polar coords trick): Grothendieck, widely considered the greatest mathematician of the 20th century didn't know about the proof [1]

Might an urban legend, but it's still interesting.

[1] https://hsm.stackexchange.com/questions/5977/grothendieck-an...

Re:Eleven proofs of the Gaussian integral [pdf] by heinrichhartman on Monday September 13, 2021 @03:24AM (#28508728)
I think this is entirely plausible. Grothendieck did not walk the established paths, but invented lot's of new concepts as he was working on problems. IIRC he was largely an auto-didact in his early years. In his work he never tried to reconcile the existing theory, and somehow improve it. He started form a blank slate (see EGA/SGA/FGA series of books) and build-up the proper concepts (Schemes,K-theory,Categories) that would allow the problem to unfold in the most natural setting and slowly resolve itself: https://ncatlab.org/nlab/show/The+Rising+Sea

Sometimes ignorance is a blessing. It frees you from keeping all the historic clutter in your memory, and see an un-distorted picture.

Re:Eleven proofs of the Gaussian integral [pdf] by syntaxfree on Monday September 13, 2021 @09:26AM (#28511190)
Grothendieck worked in algebra, this is analysis.
Re:Eleven proofs of the Gaussian integral [pdf] by tacomonstrous on Monday September 13, 2021 @10:19AM (#28511824)
He started his career as a functional analyst, actually, but yes he was an algebraist by inclination.