Mathematical logic and computation
"Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informally, we are talking about things that can be written down and communicated with symbols. One of the goals of mathematical logic is to introduce formal definitions that capture our intuitions about such obje…
Read More ↓Title Statements
- Full title :Mathematical logic and computation / Jeremy Avigad, Carnegie Mellon University, Pennsylvania.
Summary
"Every branch of mathematics has its subject matter, and one of the distinguishing features of logic is that so many of its fundamental objects of study are rooted in language. The subject deals with terms, expressions, formulas, theorems, and proofs. When we speak about these notions informally, we are talking about things that can be written down and communicated with symbols. One of the goals of mathematical logic is to introduce formal definitions that capture our intuitions about such objects and enable us to reason about them precisely. At the most basic level, syntactic objects can be viewed as strings of symbols. For concreteness, we can identify symbols with particular set-theoretic objects, but for most purposes, it doesn't matter what they are; all that is needed is that they are distinct from one another"
Read More ↓Edition Statements
- Publication Date:2023
- Edition:First edition
Publication Statements
- Publisher(s):Cambridge University Press
- Place of Publication:Cambridge, United Kingdom
- Language:eng
- Publication Date:2023
Notes
Includes bibliographical references and index.
The Physical Object
- Description:pages cm
Edition Identifiers
- ISBN:9781108478755, 1108478751
- oclc:on1345067043
- LC Classification:QA9
- Dewey Decimal:511.3
Rate & Review