Share this entry

Share this page

mathematical logic

Syllabification: math·e·mat·i·cal log·ic

Definition of mathematical logic in English:

noun

The part of mathematics concerned with the study of formal languages, formal reasoning, the nature of mathematical proof, provability of mathematical statements, computability, and other aspects of the foundations of mathematics.
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.

Definition of mathematical logic in:

Share this entry

Share this page

 

What do you find interesting about this word or phrase?

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

Get more from Oxford Dictionaries

Subscribe to remove ads and access premium resources

Word of the day emulous
Pronunciation: ˈemyələs
adjective
seeking to emulate or imitate someone or something