topics in programming languages: a philosophical analysis through the case of prolog

luís homem

chartridge, 2013

looking at the philosophy of computation through the duality of programming languages and natural languages

this is a lot of philosophy + math + programming languages as mutual structures reconciling the content and form paradox, but also highlighting the role of functions in both math, philo and prog languages. if lambda calculus is formalized mathematics, then it is another way to reach leibniz through church turing hypothesis? (it was actually invented by alonzo church)

he looks at the switch from calculus to computus: effective calculability within general incompleteness

also, this seems to be a deep philosophy phd thesis, not sure it’s relevant right now (15.02.2020)