Synthese Library

Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999

By: Peter Schuster (Editor), Ulrich Berger (Editor), Horst Osswald (Editor)

Write A Review

Hardcover | 31 January 2002

At a Glance

Hardcover
348 Pages

Dimensions(cm)
24.77 x 16.51 x 2.54

Hardcover

$249.75

or 4 interest-free payments of $62.44 with

or

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $89.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Paperback

RRP $27.99

$23.75

15%
OFF

Logic and Fixed-Domain Reasoning : Volume 2: Solutions to Selected Exercises - Ralph Gregory Taylor

$28.75

18%
OFF

Critical Thinking : The Basics - Stuart Hanscomb

$37.99

The Stoic Habit

How to Own Your Choices-Even When It's Difficult

Hardcover

RRP $34.99

$17.50

50%
OFF

Conjectures and Refutations : The Growth of Scientific Knowledge

The Growth of Scientific Knowledge

Paperback

RRP $34.99

$29.75

15%
OFF

How Not to Be Wrong : The Power of Mathematical Thinking - Jordan Ellenberg

$26.99

18%
OFF

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Paperback

RRP $26.99

$22.99

15%
OFF

Philosophy of Language : A Contemporary Introduction - William G. Lycan

$58.75

Accommodationism in Mathematics : Reference, Knowledge, and Realism - Jeffrey W. Roland

$167.99

12%
OFF

Deleuze's Philosophy of Time and Logic

Kant, Bergson, and the Labyrinth of the Continuum

Hardcover

RRP $170.00

$151.75

11%
OFF

The Nature of Belief - Eric Schwitzgebel

$58.75

Aristotle's Organon in Old and New Logic

1800-1950

Paperback

RRP $59.99

$58.75

Analogy and Exemplary Reasoning in Legal Discourse

Paperback

RRP $96.99

$86.99

10%
OFF

Logic

Paperback

$373.75

Straight and Crooked Thinking

Paperback

RRP $29.99

$23.99

20%
OFF

Foreword	p. ix
Nonstandard construction of stable type Euclidean random field measures	p. 1
The continuum in smooth infinitesimal analysis	p. 19
Constructive unbounded operators	p. 25
The points of (locally) compact regular formal topologies	p. 39
Embedding a linear subset of B(H) in the dual of its predual	p. 55
Nonstandard analysis by means of ideal values of sequences	p. 63
Nilpotent infinitesimals and synthetic differential geometry in classical logic	p. 75
On hyperfinite approximations of the field R	p. 93
Various continuity properties in constructive analysis	p. 103
Loeb measures and Borel algebras	p. 111
On Brouwerian bar induction	p. 119
Curt Schmieden's approach to infinitesimals. An eye-opener to the historiography of analysis	p. 127
A sequent calculus for constructive ordered fields	p. 143
The Puritz order and its relationship to the Rudin-Keisler order	p. 157
Unifying constructive and nonstandard analysis	p. 167
Positive lattices	p. 185
Constructive mathematics without choice	p. 199
Pointwise differentiability	p. 207
On Conway numbers and generalized real numbers	p. 211
The constructive content of nonstandard measure existence proofs--is there any?	p. 229
Kruskal's tree theorem in a constructive theory of inductive definitions	p. 241
Real numbers and functions exhibited in dialogues	p. 257
On the quantitative structure of [Delta superscript 0 subscript 2]	p. 271
Understanding and using Brouwer's continuity principle	p. 285
Peirce and the continuum from a philosophical point of view	p. 303
Table of Contents provided by Syndetics. All Rights Reserved.

Synthese Library

Symposium Proceedings, San Servolo, Venice, Italy, May 16-22, 1999

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Philosophy & Logic

Light on Yoga

The Definitive Guide to Yoga Practice [Thorsons Classics Edition]

Logic and Fixed-Domain Reasoning

Volume 2: Solutions to Selected Exercises

The Laws of Thought

The Quest for a Mathematical Theory of the Mind

Critical Thinking

The Basics

Bloomsbury Study Skills

Effective Analysis, Argument and Reflection

The Stoic Habit

How to Own Your Choices-Even When It's Difficult

Conjectures and Refutations : The Growth of Scientific Knowledge

The Growth of Scientific Knowledge

How Not to Be Wrong

The Power of Mathematical Thinking

Critical Thinking Skills For Dummies

For Dummies

Rationality

What It Is, Why It Seems Scarce, Why It Matters

Philosophy of Language

A Contemporary Introduction

Philosophy of Language

A Contemporary Introduction

Metaphysics of Nature and Failure in Kant's Opus postumum

Accommodationism in Mathematics

Reference, Knowledge, and Realism

Logic and the Unknowability of God

Paradoxes of Apophaticism

Deleuze's Philosophy of Time and Logic

Kant, Bergson, and the Labyrinth of the Continuum

The Nature of Belief

Logic-Based Therapy and Consultation

Theory and Applications

Aristotle's Organon in Old and New Logic

1800-1950

Analogy and Exemplary Reasoning in Legal Discourse

Logic

Straight and Crooked Thinking

The Scientific Outlook

Routledge Classics

Unpopular Essays

Routledge Classics

This product is categorised by