A Heidelberg dialogue: Two laureates sit down to discuss proofs The two also shared a good research direction to follow. Read more 22. Sep 2021 | By Andrei Mihai | 1 comment
Mind the Gaps Mathematics and computer science are like neighboring states of the European Union: Each is a sovereign territory with its own language and culture, but the borders between them are open, serving to connect rather than … 24. Aug 2015 | By Brian Hayes | 1 comment
Mathematische Klarheit durch guten Schreibstil Leslie Lamport passiert das häufiger. Er ist nicht allein: Peter Ustinov wurde offenbar bevorzugt von Menschen auf seine Rolle als Nero in “Quo vadis” angesprochen, Alec Guiness auf seine Rolle als Obi Wan Kenobi in … 24. Sep 2014 | By Markus Pössel | 2 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