GPN16:The Incredible Proof Machine

Ein Vortrag von Joachim Breitner auf der GPN16.

Beweise machen Spaß – vor allem mit einem interaktiven Theorembeweiser. Aber während die „großen“ Theorembeweiser wie Isabelle und Coq eine ziemlich hohe Einstiegshürde haben, kann man mit der Incredible Proof Machine direkt loslegen, denn hier bestehen Beweise aus Bausteinen, die man nur richtig verdrahten muss. So wird Beweisen so einfach, aber auch so fesselnd, wie ein gutes Puzzlespiel.

Im Workshop werde ich euch die Bedienung der Proof Machine als auch ein wenig die theoretischen Hintergründe erklären.

Links

• The Incredible Proof Machine

GPN16

 Fahrplan |

Aufzeichnungen

GPN16 | Anregungen/Feedback

About quantumness and quantum speedup in D-Wave devices Android OS: Non-Root Packet Capturing An Introduction to ZFS Ansible Crashkurs AppArmor Crashkurs Axolotl erklärt borgbackup ChatOps CipherMail Commits statt Zeit CSD Karlsruhe Demoszene-Nachlese Die Chaosvermittlung Die Freifunk API Die Leiden des jungen Elektromobilisten Ein Jahr Rust Emacs - Beating the Learning Curve Freifunk für Geflüchtete Frënn vun der Ënn From USA to DE. GA144-Forth-Multicomputer Gulaschbytes HowTo berufliche Selbständigkeit How to efficiently build cross-platform apps that your users love? In 4 Monaten zur eigenen Zeitmaschine Infrastructure Review Inside the router Internetzugang als Menschenrecht Lightning Talks 1 Lightning Talks 2 Maker Culture in India More Secure Websites OSPAC OWASP ProActive Controls OWASP - Projekte und Mitmachen! Probabilistische Robotik Proposing a Replacement for FreeBSD's powerd (Preview) Run your own fucking infrastructure SDR: Einsteiger bis .. Services Absichern Spaß auf dem Embedded-Spielplatz Traue keinem Benchmark, den du nicht selbst gefälscht hast Trollmeeting Universal Serial Bus ur WiFi sucks!!1! Volocopter Web API Hacks mit der Jodel-App Weltraumkommunikation What to hack Wie baut man eigentlich Raumschiffe Wikidata Query Service Wir hacken Summoners War