Last century was the witness of the epic development of computing. Started from Hilbert's remarkable problem lists, central issues concerning the mathematical foundations of logic and proof are established. After Gödel's remarkable incomplete theorem...