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

Price loading...

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

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

Mathematical Analysis

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical logic and set theory and, in particular, of the axiom of choice. Recent developments, however, have given rise to the hope that the distance between constructive and nonstandard mathematics is actually much smaller than it appears. So the time was ripe for the first meeting dedicated simultaneously to both ways of doing mathematics – and to the current and future reunion of these seeming opposites. Consisting of peer-reviewed research and survey articles written on the occasion of such an event, this volume offers views of the continuum from various standpoints. Including historical and philosophical issues, the topics of the contributions range from the foundations, the practice, and the applications of constructive and nonstandard mathematics, to the interplay of these areas and the development of a unified theory.

Product Specifications

Brand: Springer
Format: paperback
ASIN: 9048158850
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Mathematical Analysis
Domain: Amazon UK
Release Date: 06 December 2010
Listed Since: 20 September 2010

Barcode

No barcode data available

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

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

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

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

Springer Advances in Analysis, Probability and Mathematical Physics

Nonstandard Analysis, Axiomatically (Springer Monographs in Mathematics)

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)

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

Nonstandard Analysis: In Higher Education, Logic and Philosophy (De Gruyter STEM)

Nonstandard Methods and Applications in Mathematics: Lecture Notes in Logic 25

Springer Real Numbers and Theories of Continua - Synthese 242

Real Numbers, Generalizations of the Reals, and Theories of Continua: 242 (Synthese Library, 242)

Advances in Unconventional Computing: Volume 1: Theory: 22 (Emergence, Complexity and Computation, 22)

Analysis and Synthesis in Mathematics: History and Philosophy: 196 (Boston Studies in the Philosophy and History of Science, 196)

Theorems and Counterexamples in Mathematics (Problem Books in Mathematics)

Contemporary Mathematical Thinking: 474 (Synthese Library, 474)

Logic and Combinatorics: Joint Summer Research Conference on Applications of Mathematical Logic to Finite Combinatorics (Contemporary Mathematics)

Nonstandard Analysis: Theory and Applications: 493 (Nato Science Series C:, 493)

Nonstandard Analysis: Theory and Applications: 493 (Nato Science Series C:, 493)

From Logic to Practice: Italian Studies in the Philosophy of Mathematics: 308 (Boston Studies in the Philosophy and History of Science, 308)

Truth, Existence and Explanation: FilMat 2016 Studies in the Philosophy of Mathematics: 334 (Boston Studies in the Philosophy and History of Science, 334)

Gottfried Wilhelm Leibniz: The Art of Controversies: 60 (The New Synthese Historical Library, 60)

Computability Theory and Its Applications: Current Trends and Open Problems (Contemporary Mathematics)

A Course in Constructive Algebra (Universitext)

North Holland - Philosophy of Mathematics Book

Thinking about Contradictions: The Imaginary Logic of Nikolai Aleksandrovich Vasil’ev: 386 (Synthese Library, 386)