The computer and computer science is, in a sense, the result of the somewhat failed attempt to put mathematics on a solid logical grounds, in a way that resembl

The computer and computer science is, in a sense, the result of the somewhat failed attempt to put mathematics on a solid logical grounds, in a way that resembles a stack like OSI. Gödel's incompleteness theorems and Turing undecidability results showed that it's not that easy. Briefly, the proof for the halting problem was the Turing machine.