Logic in the History and Philosophy of Mathematical Practice

Valentina Harizanov ()
Additional contact information
Valentina Harizanov: George Washington University, Department of Mathematics

A chapter in Handbook of the History and Philosophy of Mathematical Practice, 2024, pp 1905-1920 from Springer

Abstract: Abstract Mathematical logic is the study of reasoning about mathematical objects and the degree to which mathematical and scientific reasoning can be formalized and mechanized. Logic provides the foundations of mathematics and of theoretical computer science. Classical logic defined truth, developed the theory of infinite numbers, resolved paradoxes of naive set theory, defined what an algorithm is, and established that certain mathematical principles are independent from the rest of mathematics. Modern logic contributes to current developments in mathematics and its foundations, and continues to closely interact with various areas of mathematics. Essential and surprising connections are often found in order to solve big problems. To bring various resources into a single argument, common methods, uniform terminology, and concisely stated theorems are needed. This interaction of disciplines has not only led to new approaches and results but also to new areas of mathematical research, such as computable structure theory, reverse mathematics, and the emerging quantum computing theory.

Keywords: Axiom; Arithmetic; Curve; Computable; Elliptic; Fermat; Model; Nonstandard; Peano; Proof; Theory; Turing; Ultrapower (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-40846-5_118

Ordering information: This item can be ordered from
http://www.springer.com/9783031408465

DOI: 10.1007/978-3-031-40846-5_118

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().