Fun with False Proofs This year’s HLF included a fascinating discussion between ACM AM Turing Award laureates Leslie Lamport and Whitfield Diffie, written up in full here by blog team member Andrei Mihai. As part of the conversation, when … 06. Oct 2021 | By Katie Steckles | 8 comments
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
Computers and Proof In the final session of the Virtual HLF, as part of a discussion on the topic ‘Where can computer science and mathematics interact fruitfully?’, the conversation turned to the question of proof. In the words … 06. Oct 2020 | By Katie Steckles | 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