Arzt, Psychologie

Automatisierte Beweise von Aristoteles bis heute

Markus Pössel

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 Verbindungen der beiden Fächer. Der Vortrag von Tony Hoare am Dienstag ist dabei sicherlich am weitesten in die Vergangenheit vorgestoßen. Hoare hat die Vorläufer der Informatik bis zurück zur Logik des Aristoteles verfolgt. Der damalige Schlüsselschritt: Die Trennung zwischen der Form des Beweises und dem… weiter

Related Posts

Das Leben ist kein Ponyhof 17 – geleimt!

Gerade unter den kleineren Lebewesen befinden sich ja so manche, die scheinbar aus einem schlechten Horrorfilm entsprungen zu sein scheinen. Denn gerade wer sich nicht durch körperliche Kraft, Größe und Schnelligkeit auszeichnet, benötigt anscheinend ein ganzes Arsenal an seltsamen Taktiken und tödlichen Waffen. Was soll man auch machen, wenn die Beute immer einen Tick schneller ist, als man selbst? Man sorgt dafür, dass sie langsamer wird. Genau das ist der Trick, den die Stummelfüßer anwenden.

“Let’s go!” – Über authentische Juden und authentische Deutsche (Filmempfehlung)

Heute Abend waren meine Frau und ich bei einer Sonderaufführung eines großartigen Films namens “Let’s go!” (Regie: Michael Verhoeven), der demnächst (am 8. Oktober) von der ARD ausgestrahlt wird. Bei diesem “Entwicklungsroman” geht es um das Erwachsenwerden Lauras, eines jüdischen Mädchens in München der Nachkriegszeit. Über viele Umwege findet sie schließlich, quasi gegen ihren Willen, zu ihrer Identität als Jüdin. Da das Judentum im heutigen Deutschland sehr oft (und dabei nicht zufälligerweise eher von Nichtjuden) als Religion verstanden wird, tut… weiter