Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Provability, Computability and Reflection

Logic, Symbolic and mathematical -- Periodicals. --- Logic, Symbolic and mathematical. --- Mathematics. --- Logic, Symbolic and mathematical --- Science --- Methodology --- Philosophy

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

The Annual European Meeting of the Association for Symbolic Logic, also known as the Logic Colloquium, is among the most prestigious annual meetings in the field. The current volume, with contributions from plenary speakers and selected special session speakers, contains both expository and research papers by some of the best logicians in the world. The most topical areas of current research are covered: valued fields, Hrushovski constructions (from model theory), algorithmic randomness, relative computability (from computability theory), strong forcing axioms and cardinal arithmetic, large cardinals and determinacy (from set theory), as well as foundational topics such as algebraic set theory, reverse mathematics, and unprovability. This volume will be invaluable for experts as well as those interested in an overview of central contemporary themes in mathematical logic.

Logic, Symbolic and mathematical --- Mathematics --- Math --- Science

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Logic, Symbolic and mathematical --- Mathematical analysis --- Logic, Symbolic and mathematical. --- Mathematical analysis. --- Mathematical Theory

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Almost all of the problems studied in this book are motivated by an overriding foundational question: What are the appropriate axioms for mathematics? Through a series of case studies, these axioms are examined to prove particular theorems in core mathematical areas such as algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics. In many cases, if a mathematical theorem is proved from appropriately weak set existence axioms, then the axioms will be logically equivalent to the theorem. Furthermore, only a few specific set existence axioms arise repeatedly in this context, which in turn correspond to classical foundational programs. This is the theme of reverse mathematics, which dominates the first half of the book. The second part focuses on models of these and other subsystems of second-order arithmetic.

Predicate calculus. --- Calculus, Predicate --- Quantification theory --- Logic, Symbolic and mathematical

Choose an application

• Reference Manager
• EndNote
• RefWorks (Direct export to RefWorks)

Mathematics often seems incomprehensible, a melee of strange symbols thrown down on a page. But while formulae, theorems, and proofs can involve highly complex concepts, the math becomes transparent when viewed as part of a bigger picture. What Is a Number? provides that picture.Robert Tubbs examines how mathematical concepts like number, geometric truth, infinity, and proof have been employed by artists, theologians, philosophers, writers, and cosmologists from ancient times to the modern era. Looking at a broad range of topics -- from Pythagoras's exploration of the connection between harmonious sounds and mathematical ratios to the understanding of time in both Western and pre-Columbian thought -- Tubbs ties together seemingly disparate ideas to demonstrate the relationship between the sometimes elusive thought of artists and philosophers and the concrete logic of mathematicians. He complements his textual arguments with diagrams and illustrations. This historic and thematic study refutes the received wisdom that mathematical concepts are esoteric and divorced from other intellectual pursuits -- revealing them instead as dynamic and intrinsic to almost every human endeavor.

Logic, Symbolic and mathematical. --- Mathematics --- Mathematics --- History. --- Philosophy.