# Mathematical logic

Jump to navigation
Jump to search

**Mathematical logic** is a subfield of mathematics exploring the applications of formal logic to mathematics.

This mathematics-related article is a stub. You can help Wikiquote by expanding it. |

## Quotes[edit]

- Frege's development began with... "an epoch-making little book" called
*Begriffsschrift*, translated as*Concept Script*or*Conceptual Notation*... Just as Aristotle's*Prior Analytics*is the foundation of traditional or syllogistic logic—the logic of the categorical three-term syllogism, Frege's*Begriffsschrift*is the keystone of modern or mathematical logic.- Michael Losonsky,
*Linguistic Turns in Modern Philosophy*(2006) pp. 148-149.

- Michael Losonsky,

- In 1920 logic was mostly a philosopher's garden. There were also a few mathematicians there, cultivating the logical roots of the mathematical tree. Today, Recursion Theory, Set Theory, Model Theory and Proof Theory, logic's major subdisciplines, have become full-fledged branches of mathematics.
- Anil Nerode; Richard Shore (17 January 1997).
*Logic for Applications*. Springer Science & Business Media. p. 1. ISBN 978-0-387-94893-5.

- Anil Nerode; Richard Shore (17 January 1997).