Leslie Lamport thinks your proofs are bad Bad news: The Turing award winner and father of LaTeX thinks the proofs you (and everyone else) are writing are sloppy, non-rigorous and quite likely flat-out wrong. But there’s good news too: Sir Michael Atiyah … 28. Sep 2017 | By Paul Taylor | 2 comments
Casual Attire and Formal Proof Informality is the watchword here at the Heidelberg Laureate Forum. Even the most distinguished participants go by Bob or Fred or Len rather than Herr Professor Doktor. In this casual social atmosphere, however, formality of … 03. Sep 2015 | By Brian Hayes | 0 comments
A Computer Scientist Tells Mathematicians How To Write Proofs Believe it or not, I do have friends who would describe themselves as not liking math, and every so often one of them will share this meme on Facebook: And then Satan said, “Put the … 24. Sep 2014 | By Evelyn Lamb | 0 comments
Writing for mathematical clarity Yes, he does get that a lot. And translating freely from international body language, Leslie Lamport could well do without another unoriginal “Thank you” from a grateful LaTeX user. Comparatively few people, it seems, ask … 24. Sep 2014 | By Markus Pössel | 2 comments
