mathematical logic

noun

1. symbolic logic.

mathematical logic

noun

1. symbolic logic, esp that branch concerned with the foundations of mathematics

Word History and Origins

Origin of mathematical logic¹

First recorded in 1855–60

Example Sentences

In the 1970s, he produced Fagin’s theorem, which characterized the class NP in terms of mathematical logic.

From MIT Technology Review

I had these amorphous ideas like wanting to investigate the way the mind works using mathematical logic.

From Quanta Magazine

I could go to the University of Wisconsin in Madison to study mathematical logic—that was my dream—but very few could do it.

From The Daily Beast

It was developed with rigorous mathematical logic and Euclidean conclusiveness.

From Project Gutenberg

His trained mathematical logic gave him an immediate solution to the enigma: he was cracking up.

From Project Gutenberg

The modern development of mathematical logic dates from Boole's Laws of Thought .

From Project Gutenberg

Mathematical logic, even in its most modern form, is not directly of philosophical importance except in its beginnings.

From Project Gutenberg

Take such a statement as, “The class of people interested in mathematical logic is not very numerous.”

From Project Gutenberg