Verwandte Artikel zu Constructive Mathematics: Proceedings of the New Mexico...

Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 (Lecture Notes in Mathematics, 873, Band 873) - Softcover

 
9783540108504: Constructive Mathematics: Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980 (Lecture Notes in Mathematics, 873, Band 873)
Softcover
ISBN 10: 3540108505 ISBN 13: 9783540108504
Verlag: Springer, 2009

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2009
Sprache
Englisch
ISBN 10 
3540108505
ISBN 13 
9783540108504
Einband
Taschenbuch
Anzahl der Seiten
356
Herausgeber
Richman Fred
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland