Personal Reflections on the Role of Mathematical Logic in Computer Science

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.

---

Opracowanie rekordu w ramach umowy 509/P-DUN/2018 ze środków MNiSW przeznaczonych na działalność upowszechniającą naukę (2019).