MATHEMATICALLOGIC

Mathematical logic

Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. Topically, mathematical logic bears close connections to metamathematics, the foundations of mathematics, and theoretical computer science. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.

The above text is a snippet from Wikipedia: Mathematical logic
and as such is available under the Creative Commons Attribution/Share-Alike License.

mathematical logic

Noun

  1. A subfield of logic and mathematics consisting of both the mathematical study of logic and the application of this study to other areas of mathematics, exemplified by questions on the expressive power of formal logics and the deductive power of formal proof systems.


The above text is a snippet from Wiktionary: mathematical logic
and as such is available under the Creative Commons Attribution/Share-Alike License.

Need help with a clue?
Try your search in the crossword dictionary!