From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing

Abstract

My first meeting with Martin Wirsing is of rather virtual nature: We both have the same academic background and got our diplomas from the same institution, the Institute of Mathematical Logic of LMU Munich directed by Kurt Sch”utte. But we did not (yet) meet personally: While I worked on my diploma thesis on μ-recursive functions and the non-eliminability of some ugly functionals in intricate number theory, Martin entered the institute as a student and left it some years later having completed two theses (diploma and Ph.D.) on similarly mystical problems such as (un-)decidability of (sub-)classes of formulae in first-order predicate logic.