3 ms·
Philosophy of computer science – Utrecht University
- osullivj 9y agoThanks - this has been an area of interest for me for some time, being a philosophy grad and long time dev. Good to see the Turing name check. I'd expect Godel, Church and Quine to figure too. "To be is to be the value of a bound variable": that's where ontology meets language design!