Mathematische Beweise gehören zu den aufregendsten Aspekten der Disziplin. Für die Mathematik ist der Beweis ein grundlegendes Element - und deshalb auch für Informatikerinnen und Informatiker wichtig. Spätestens im Informatikstudium begegnet den Studentinnen und Studenten dieses wichtige Thema. Leider kommt es in der Schule oft nicht ausreichend zur Sprache, wie auch die Informatik selbst. Deshalb bietet Joachim Breitners "The Incredible Proof Machine" einen spielerischen Einstieg in die exakte Beweistheorie. Mit Drag & Drop kann man so Beweise lösen.
Die "Incredible Proof Machine" gibt es kostenlos im Netz unter incredible.pm. Eine Einführung (auf Englisch) dazu findet sich auf Joachim Breitners Blog. Eine ausführliche Erklärung gibt der Artikel zu einem Interview, das Breitner dem Modellansatz-Podcast gegeben hat und in dem veröffentlichten Paper.

Weitere Informationen unter: www.math.kit.edu/ianm4/seite/ma-incredible-proof-machine/de, www.joachim-breitner.de/blog/682-The_Incredible_Proof_Machine und pp.ipd.kit.edu/uploads/publikationen/breitner16incredible.pdf