Since programming languages are supposed to be ways to express logical processes

Since programming languages are supposed to be ways to express logical processes

Since programming languages are supposed to be ways to express logical processes, it would seem that they would be of interest to philosophers on some level or another. For example, it would seem there are interesting relationships to be described between object-oriented programming and Plato's theory of ideas. So what are the relationships between programming on the one hand and philosophy on the other? What investigations into this area have been conducted?

Read another response by Richard Heck
Read another response about Mathematics, Philosophy
Print