PHILOSOPHY OF MATHEMATICS AND COMPUTER SCIENCE
Selected contents from this journal
Languages of publication
It is well known fact that the foundation of modern computer science were laid by logicians. Logic is at the heart of computing. The development of contemporary logic and the problems of the foundations of mathematics were in close mutual interaction. We may ask why the concepts and theories developed out of philosophical motives before computers were even invented, prove so useful in the practice of computing. Three main programmes together with the constructivist approach are discussed and the impact on computer science is considered.
Publication order reference
CEJSH db identifier