Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 /
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.
Main Authors: | , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,
1981
|
Subjects: | Mathematics., Mathematical logic., Mathematical Logic and Foundations., |
Online Access: | http://dx.doi.org/10.1007/BFb0090721 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:209692 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:2096922018-07-30T23:41:12ZConstructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / Richman, Fred. editor. SpringerLink (Online service) textBerlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer,1981.engSeidenberg'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.Mathematics.Mathematical logic.Mathematics.Mathematical Logic and Foundations.Springer eBookshttp://dx.doi.org/10.1007/BFb0090721URN:ISBN:9783540387596 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. |
spellingShingle |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. Richman, Fred. editor. SpringerLink (Online service) Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / |
description |
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. |
format |
Texto |
topic_facet |
Mathematics. Mathematical logic. Mathematics. Mathematical Logic and Foundations. |
author |
Richman, Fred. editor. SpringerLink (Online service) |
author_facet |
Richman, Fred. editor. SpringerLink (Online service) |
author_sort |
Richman, Fred. editor. |
title |
Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / |
title_short |
Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / |
title_full |
Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / |
title_fullStr |
Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / |
title_full_unstemmed |
Constructive Mathematics [electronic resource] : Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11–15, 1980 / |
title_sort |
constructive mathematics [electronic resource] : proceedings of the new mexico state university conference held at las cruces, new mexico, august 11–15, 1980 / |
publisher |
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, |
publishDate |
1981 |
url |
http://dx.doi.org/10.1007/BFb0090721 |
work_keys_str_mv |
AT richmanfrededitor constructivemathematicselectronicresourceproceedingsofthenewmexicostateuniversityconferenceheldatlascrucesnewmexicoaugust11151980 AT springerlinkonlineservice constructivemathematicselectronicresourceproceedingsofthenewmexicostateuniversityconferenceheldatlascrucesnewmexicoaugust11151980 |
_version_ |
1756268693951610880 |