Cambridge Encyclopedia » Cambridge Encyclopedia Vol. 49

mathematical logic - History, Fields of mathematical logic, Connections with computer science


The application of mathematical rigour and symbolic techniques to the study of logic, such as the development of formal languages and axiom systems for constructing logical proofs; also known as symbolic logic. Modern work in the field was inspired by Boole, and carried forward by Frege, Whitehead and Russell, Gödel, and Tarski.

User Comments

Your email address will be altered so spam harvesting bots can't read it easily.
Hide my email completely instead?

Cancel or