Modallogik als Programmiersprache – Entwicklung eines Compilers für modallogische Formeln

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.