Constructive Mathematics
Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980
(Sprache: Englisch)
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.-...
Leider schon ausverkauft
versandkostenfrei
Buch
42.75 €
Produktdetails
Produktinformationen zu „Constructive Mathematics “
Klappentext zu „Constructive Mathematics “
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.
Inhaltsverzeichnis zu „Constructive Mathematics “
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.
Bibliographische Angaben
- 1981, 356 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: F. Richman
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540108505
- ISBN-13: 9783540108504
- Erscheinungsdatum: 01.08.1981
Sprache:
Englisch
Kommentar zu "Constructive Mathematics"
0 Gebrauchte Artikel zu „Constructive Mathematics“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Constructive Mathematics".
Kommentar verfassen