Hugendubel.info - Die B2B Online-Buchhandlung 

Merkliste
Die Merkliste ist leer.
Bitte warten - die Druckansicht der Seite wird vorbereitet.
Der Druckdialog öffnet sich, sobald die Seite vollständig geladen wurde.
Sollte die Druckvorschau unvollständig sein, bitte schliessen und "Erneut drucken" wählen.

Varieties of Constructive Mathematics

BuchKartoniert, Paperback
160 Seiten
Englisch
Cambridge University Presserschienen am01.01.1987
This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.mehr
Verfügbare Formate
BuchKartoniert, Paperback
EUR44,20
E-BookPDFDRM AdobeE-Book
EUR49,99

Produkt

KlappentextThis is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
Details
ISBN/GTIN978-0-521-31802-0
ProduktartBuch
EinbandartKartoniert, Paperback
Erscheinungsjahr1987
Erscheinungsdatum01.01.1987
Seiten160 Seiten
SpracheEnglisch
MasseBreite 152 mm, Höhe 229 mm, Dicke 9 mm
Gewicht242 g
Artikel-Nr.13621137

Inhalt/Kritik

Inhaltsverzeichnis
1. The foundations of constructive mathematics; 2. Constructive analysis; 3. Russian constructive mathematics; 4. Constructive algebra; 5. Intuitionism; 6. Contrasting varieties; 7. Intuitionistic logic and topos theory; Index.mehr