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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Hesse, W. (2015). From Formal Logic through Program Transformations to System Dynamics: 40 Years of Meeting Points with Martin Wirsing. In: De Nicola, R., Hennicker, R. (eds) Software, Services, and Systems. Lecture Notes in Computer Science, vol 8950. Springer, Cham. https://doi.org/10.1007/978-3-319-15545-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-319-15545-6_3
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15544-9
Online ISBN: 978-3-319-15545-6
eBook Packages: Computer ScienceComputer Science (R0)