Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6) - Image 1

£88.71

Springer Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)

Name: Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)
Brand: Springer
Price: 88.75 GBP
Availability: InStock

Mathematical Logic

Price History & Forecast

Last 11 days • 11 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 11 days • 1 price levels

Days at Price

Price Analysis

Most common price: £89 (11 days, 100.0%)

Price range: £89 - £89

Price levels: 1 different prices over 11 days

Description

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 364268954X
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Foundations > Mathematical Logic
Domain: Amazon UK
Release Date: 18 November 2011
Listed Since: 12 July 2012

Barcode

No barcode data available

Springer Foundations of Constructive Mathematics: Metamathematical Studies: 6 (Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics, 6)

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Truth, Proof and Infinity: A Theory of Constructive Reasoning: 276 (Synthese Library, 276)

Epistemology versus Ontology: Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf: 27 (Logic, Epistemology, and the Unity of Science, 27)

Proofs and Fundamentals: A First Course in Abstract Mathematics: 0 (Undergraduate Texts in Mathematics)

Constructive Models (Siberian School of Algebra and Logic)

A Course in Constructive Algebra (Universitext)

Proofs and Fundamentals: A First Course in Abstract Mathematics (Undergraduate Texts in Mathematics)

Handbook of Constructive Mathematics (Encyclopedia of Mathematics and its Applications)

North Holland - Philosophy of Mathematics Book

A Bridge to Higher Mathematics (Textbooks in Mathematics)

North Holland Philosophy of Mathematics - Handbook of Science

The Forcing Method in Set Theory: An Introduction via Boolean Valued Logic: 168 (UNITEXT, 168)

Fundamentals of Mathematics: An Introduction to Proofs, Logic, Sets, and Numbers

Apartness and Uniformity: A Constructive Development (Theory and Applications of Computability)

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details: 70 (Synthese Library, 70)

Introduction to Mathematical Logic: Extended Edition

Combinatorial Set Theory: With a Gentle Introduction to Forcing (Springer Monographs in Mathematics)

Set Theory: With an Introduction to Real Point Sets

Real Analysis: A Constructive Approach Through Interval Arithmetic (Pure and Applied Undergraduate Texts)

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum: Symposium Proceedings, San Servolo, Venice, Italy, May 16–22, 1999: 306 (Synthese Library, 306)

Mathematical Logic: On Numbers, Sets, Structures, and Symmetry: 4 (Springer Graduate Texts in Philosophy, 4)

Logical Foundations of Mathematics and Computational Complexity: A Gentle Introduction (Springer Monographs in Mathematics)

Special Topics in Mathematics for Computer Scientists: Sets, Categories, Topologies and Measures

Mathematical Logic: An Introduction (De Gruyter Textbook)

Concepts of Proof in Mathematics, Philosophy, and Computer Science: 6 (Ontos Mathematical Logic, 6)