Constructive mathematics : proceedings of the New Mexico State University conference held at Las Cruces, New Mexico, August 11-15, 1980 / / edited by Fred Richman

• Pubblicazione: Berlin, Germany ; ; New York, New York : , : Springer-Verlag, , [1981]; ©1981
• Edizione: 1st ed. 1981.
• Descrizione fisica: 1 online resource (X, 350 p.)
• Disciplina: 511.36
• Soggetto topico: Constructive mathematics; Intuitionistic mathematics
• Persona (resp. second.): RichmanFred <1938->
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di contenuto: 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.
• Titolo autorizzato: Constructive mathematics
• ISBN: 3-540-38759-5
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 996466490703316
• Lo trovi qui: Univ. di Salerno
• Serie: Lecture Notes in Mathematics, . 0075-8434 ; ; 873