|
|
|
|
|
|
by random3
808 days ago
|
|
|
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. |
|
|