Mathematical logic and the origin of modern computing
A half-century survey on The Universal Turing Machine
Influences of mathematical logic on computer science
A half-century survey on The Universal Turing Machine
Artificial intelligence and scientific method
Artificial intelligence and scientific method
A Machine-Oriented Logic Based on the Resolution Principle
Journal of the ACM (JACM)
Logic for Problem Solving
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Tractatus Logico Philosophicus (Routledge Classics) (Routledge Classics)
Highlights of the History of the Lambda-Calculus
IEEE Annals of the History of Computing
A dynamic interaction between machine learning and the philosophy of science
Minds and Machines - Machine learning as experimental philosophy of science
Hi-index | 0.00 |
This paper argues for the thesis that ideas originating in the philosophy of mathematics have proved very helpful for the development of computer science. In particular, logicism, the view that mathematics can be reduced to logic, was developed by Frege and Russell, long before computers were invented, and yet many of the ideas of logicism have been central to computer science. The paper attempts to explain how this serendipity came about. It also applies Wittgenstein's later theory of meaning to human-computer interaction, and draws the conclusion that computers do understand the meaning of the symbols they process. The formal language of logic is suitable for humans trying to communicate with computers.