Constructive Mathematics

Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

By: F. Richman (Editor)

Write A Review

Paperback | 1 August 1981

At a Glance

Paperback
356 Pages

Dimensions(cm)
23.39 x 15.6 x 1.88

Paperback

$64.99

or 4 interest-free payments of $16.25 with

or

Ships in 5 to 7 business days

Seidenberg's condition P.- Field extensions.- Dedekind domains.- Effective mathematics - the computer algebra viewpoint.- On some open problems in constructive probability theory.- Consistency and independence results in intuitionistic set theory.- Errata.- Computability of ordinal recursion of type level two.- A constructive approach to classical mathematics.- Remarks on the notion of standard non-isomorphic natural number series.- Reflections on Bishop's philosophy of mathematics.- Formalizing constructive mathematics: Why and how?.- Independence of premisses and the free topos.- An intuitionistic infinitesimal calculus.- Liberal constructive set theory.- Locating metric complements in ?n.- A disjunctive decomposition theorem for classical theories.- Towards a constructive foundation for quantum mechanics.- About infinity, finiteness and finitization (in connection with the foundations of mathematics).- A class of theorems with valid constructive counterparts.- Rational constructive analysis.

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 $79.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.