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

  • Wolfgang Hesse
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8950)


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Wolfgang Hesse
    • 1
  1. 1.Ludwig-Maximilians-Universität MünchenGermany

Personalised recommendations