Here's a chapter in the making on two very different philosophical positions and computer programming. I engage with Linnebo and Shapiro in connection with classical logical and potential infinity.
Discussions will be held at a Lille workshop in June 2022. A revised chapter will appear in the book What is a computer program? New perspectives, edited by Liesbeth De Mol and Tomas Petricek.
[Last update: 25 March 2022]