Automatisierte Beweise von Aristoteles bis heute Gerade weil die Informatik-Laureaten beim HLF in der klaren Mehrheit sind, war es interessant zu sehen, welche große Rolle die reine Mathematik in den bisherigen HLF-Vorträgen gespielt hat – über die zum Teil sehr tiefreichenden … 27. Aug 2015 | By Markus Pössel | 1 comment