Definition of mathematical logic in English:

Share this entry

mathematical logic


[mass noun]
Logic that is mathematical in its method, manipulating symbols according to definite and explicit rules of derivation; symbolic logic.
Example sentences
  • He worked on mathematical logic, in particular ordinal numbers, recursive arithmetic, analysis, and the philosophy of mathematics.
  • He then extended his father's work on associative algebras and worked on mathematical logic and set theory.
  • During this period at Cambridge, Wittgenstein continued to work on the foundations of mathematics and also on mathematical logic.

For editors and proofreaders

Line breaks: math|em¦at|ic¦al logic

Share this entry

What do you find interesting about this word or phrase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.