Abstract

Computer science is the science that studies "how to compute". I will discuss the concept of "unambiguous definition of the way of computing", one of the most difficult problems of computer science that has been solved after more than 60 years of research. This is a sort of "dark corner" of computer science (though programmers are aware of it), which is far to be obvious to non-experts. Finally, I will address the relationship between the syntax of a (programming) language and the machines (computers). This contribution intends to reach a large community (which is different from the scientific one that I usually address).