Plato, Aristotle, and Programming

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 PROGRAMme (i.e., by Liesbeth De Mol, Tomas Petricek, and the rest of the PROGRAMme community).

[Last update: early morning of 15 June 2022: latest draft attached; work in progress]

PDF: 

Tags: