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

Catherine Christer Hennix, a Swedish experimental musician and artist who fused minimalist drones, mathematical logic and global spiritual traditions into an approach she called “infinitary composition,” died on Sunday at her home in Istanbul, Turkey.

From New York Times

During the twentieth century, discoveries in mathematical logic revolutionized our understanding of the very foundations of mathematics.

From Nature

With its combination of mathematical logic and empirical evidence, physics helps us overcome wishful thinking and other biases.

From Scientific American

Initially, Ms. Rockburne was inspired by set theory, a branch of mathematical logic.

From New York Times

A former concert pianist and professional magician, Smullyan enjoyed a distinguished academic career in mathematical logic, but it was for his books of puzzles that he became best known.

From The Guardian