Sorry, I don't think you know anything about the history of the relationship between computer programming and philosophy. Kurt Gödel was an analytic philosopher. John McCarthy's work stems directly from analytic philosophy, and goes all the way back to Descartes' ideas.