Well, of course Phenomenology is more important when thinking about computation, but by the time Heidegger was writing about zeros and techne he was already quite old, and computation had developed significantly; the same with Godel, who we consider to be a very important thinker with regard to the theory of computation, but the machinery of the computer was already being put together before the invention of the formal logic that we today consider necessary for computer programming.
I say Kant because I suppose Kant was the first thinker to suggest (after Aristotle) that logic always has an existential import, that it only appears to us in the world and its not really certain if it exists in and of itself--at least, that's how Hegel reads him. And in any case Kant's philosophy is the beginning of modern western society from science to law to aesthetics, and, of course, philosophy.
I say Kant because I suppose Kant was the first thinker to suggest (after Aristotle) that logic always has an existential import, that it only appears to us in the world and its not really certain if it exists in and of itself--at least, that's how Hegel reads him. And in any case Kant's philosophy is the beginning of modern western society from science to law to aesthetics, and, of course, philosophy.