Personal Reflections on the Role of Mathematical Logic in Computer Science

Issue title: Types, terms and reductions: A special issue dedicated to Paweł Urzyczyn for his 65th birthday

Guest editors: Thorsten Altenkirch and Aleksy Schubert

Article type: Research Article

Authors: Kfoury, Assaf^{; *}

Affiliations: Computer Science Department, Boston University, Boston, MA 02215, USA. [email protected]

Correspondence: [*] Address for correspondence: Computer Science Department, Boston University, Boston, MA 02215 USA. Partially supported by NSF awards CCF-0820138 and CNS-1135722.

Abstract: This article traces in broad strokes the evolution of the intimate relationship between mathematical logic and computer science. The emphasis is on turning points in this relationship, i.e., moments when new directions of research were opened and new connections were established between the two fields. The article is not a comprehensive account and history of the relationship, but a personal perspective of a profoundly changed, and still changing, inter-dependence between two mainstays of the mathematical disciplines.

DOI: 10.3233/FI-2019-1860

Journal: Fundamenta Informaticae, vol. 170, no. 1-3, pp. 207-221, 2019