Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Author :
Publisher : Springer Science & Business Media
Total Pages : 330
Release :
ISBN-10 : 9789401597579
ISBN-13 : 940159757X
Rating : 4/5 (57X Downloads)

Book Synopsis Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum by : Peter Schuster

Download or read book Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum written by Peter Schuster and published by Springer Science & Business Media. This book was released on 2013-03-14 with total page 330 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum Related Books

Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum
Language: en
Pages: 330
Authors: Peter Schuster
Categories: Mathematics
Type: BOOK - Published: 2013-03-14 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

At first glance, Robinson's original form of nonstandard analysis appears nonconstructive in essence, because it makes a rather unrestricted use of classical lo
The Continuum
Language: en
Pages: 143
Authors: Rudolf Taschner
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

In this small text the basic theory of the continuum, including the elements of metric space theory and continuity is developed within the system of intuitionis
Exogenous Factors in Colonic Carcinogenesis
Language: en
Pages: 698
Authors: W. Scheppach
Categories: Medical
Type: BOOK - Published: 2003-01-31 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is the proceedings of Falk Symposium 128, held in Würzburg, Germany, on May 2-3, 2002, and dedicated to the important issue of colonic carcinogenesis
Connecting with Computability
Language: en
Pages: 527
Authors: Liesbeth De Mol
Categories: Computers
Type: BOOK - Published: 2021-07-01 - Publisher: Springer Nature

DOWNLOAD EBOOK

This book constitutes the proceedings of the 17th Conference on Computability in Europe, CiE 2021, organized by the University of Ghent in July 2021. Due to COV
Mathematical Foundations of Computer Science 2013
Language: en
Pages: 869
Authors: Krishnendu Chatterjee
Categories: Computers
Type: BOOK - Published: 2013-08-16 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the thoroughly refereed conference proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science, MFCS 2