Modallogik als Programmiersprache – Entwicklung eines Compilers für modallogische Formeln
2014 | Mathematik/Informatik | Saarland
Teilnehmende
-
Nadine Theisen (16), SaarlouisMax-Planck-Gymnasium, Saarlouis
Preise
- 3. Preis Mathematik/Informatik
- Preis für originelle Informatik Konrad-Zuse-Gesellschaft
Projekt
Logische Entwicklung
Modallogik als Programmiersprache – Entwicklung eines Compilers für modallogische Formeln
Die klassische Logik – ein Mischfeld aus Philosophie und Mathematik – fußt auf Gegensätzen: Denn der Logik zufolge kann eine Aussage entweder wahr oder aber falsch sein. In ihrer Arbeit experimentierte Nadine Theisen mit einem erweiterten Logikbegriff, der Modallogik. Neben wahr und falsch gibt es hier zwei weitere Kategorien – möglich und notwendig. Die Jungforscherin übertrug diese Kategorien in ein Computerprogramm, in dem mathematische Formeln als digitale Agenten handeln und selbstständig virtuelle Welten durchforsten. Nützlich sein könnte diese Software eines Tages, um damit elektronische Schaltungen, Betriebssysteme oder Robotersteuerungen zu entwerfen.
Cookie-Einstellungen
Wir nutzen Cookies, um Ihnen die bestmögliche Nutzung unserer Webseite zu ermöglichen und unsere Kommunikation mit Ihnen zu verbessern. Wir berücksichtigen Ihre Auswahl und verwenden nur die Daten, für die Sie uns Ihr Einverständnis geben.
Notwendige Cookies
Diese Cookies helfen dabei, unsere Webseite nutzbar zu machen, indem sie Grundfunktionen wie Seitennavigation und Zugriffe auf sichere Bereiche ermöglichen. Unsere Webseite kann ohne diese Cookies nicht richtig funktionieren.
Statistik-Cookies
Diese Cookies helfen uns zu verstehen, wie Besucher mit unserer Webseite interagieren, indem Informationen anonym gesammelt werden. Mit diesen Informationen können wir unser Angebot laufend verbessern.