Das Problem ist uralt, um genau zu sein, in Bayreuth ist es in diesem Jahr 20 Jahre alt: Übungen in Mathematik. Die Rechnungen sind meist kein Problem, jedoch Beweise zu führen ist schon schwieriger [...] Eigentlich aber sind sie die Quintessenz eines Studiums der Mathematik. Deshalb: Making Proof.
Der Artikel beschäftigt sich mit Beweisführung für Leute, die noch nicht so geübt darin sind (Psychologie des Beweises, Häufige Satzstrukturen, Häufige Beweisstrukturen). Vor allem gut lesbar, weil der Autor seinen Gedanken zur Mathematik teilweise freien Lauf lässt (Wie würde Mathematik ohne Zeit aussehen, nur aus Faulheit entstanden, ...). Deshalb: Making Proof.