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
Automatizing proofs from Aristotle to the 21st century While (or because?) both in general laureate attendance and number of lectures, computer science certainly has greater volume than mathematics at this year’s Heidelberg Laureate Forum, it was interesting to see that there were quite … 27. Aug 2015 | By Markus Pössel | 0 comments