Sentence examples for mathematical logic in from inspiring English sources

Working on the borderline between philosophy and mathematics—viz., in the philosophy of mathematics and mathematical logic (in which no intellectual precedents existed)—Frege discovered, on his own, the fundamental ideas that have made possible the whole modern development of logic and thereby invented an entire discipline.

Given the nature of Trendelenburg's presentation of the Leibnizian system, his significance for the mathematical reception of Leibniz's ideas in the context of the emergence of formal mathematics and mathematical logic in the second half of the 19th century is astonishing.

Dr. Meier received his bachelor's degree in physics and mathematics from Oberlin in 1945, then earned his master's in mathematical logic in 1947 and his doctorate in statistics in 1951, both at Princeton.

The following year, he was selected as Walter Beverly Pearson Professor of Mathematical Logic, in recognition of his contributions to philosophy of logic and mathematics.

The influence of mathematical thinking, and of mathematical logic in particular, however, left a permanent mark on the subsequent study of semantics.

In 1879 Frege published his Begriffsschrift ("Conceptscript"), in which, for the first time, a system of mathematical logic in the modern sense was presented.

He is widely known for his Incompleteness Theorems, which are among the handful of landmark theorems in twentieth century mathematics, but his work touched every field of mathematical logic, if it was not in most cases their original stimulus.

Russell's paradox has never been passé, but recently there has been an explosion of interest in it by scholars involved in research in mathematical logic and in philosophical and historical studies of modern logic.

For a time, Alan Turing himself participated in these efforts, in the wake of his seminal work in mathematical logic, and in code-breaking during World War II.

For the testing procedure, they are just modules, but any such object L comes equipped with a non-zero (thus right minimal) map L → Y. Let us stress that the setting of the Auslander bijections is well-accepted both in mathematical logic and in category theory.

Indeed, Cassirer takes the modern mathematical logic implicit in the work of Dedekind and Hilbert, and explicit in the work of Gottlob Frege and the early Bertrand Russell, as providing us with our primary tool for moving beyond the empiricist abstractionism due ultimately to Aristotelian syllogistic.