Constructivism. A Computing Science Perspective.
Bengt Nordström · 2002
1. I am going to talk about the symbiotic relationship between Computing Science and Logic and the growing interest in foundational questions which has followed. 2. It is not an exaggeration to say that Logic gave birth to Computing Science. Already in the 1930´s, logicians like Gödel, Kleene, Church and Turing were studying the limits of computability. This was at a time when a computer still was a human being performing calculations. In particular Turing´s theoretical ideas had important consequences for the architecture of the first electronic computers in the 1940’s. 3. Now, in the turn of the new millennium, computers are influencing every day’s life in the rich world. Society becomes more and more dependent on computers. We use computers to control complicated processes, like power plants, air-planes, trains and money transfer sys-tems. These systems are so complicated that no human being under-stands them and it is of vital importance that they function correctly.