Constructive Mathematics

Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

AvF. Richman

Häftad, Engelska, 1981

Del 873 i serien Lecture Notes in Mathematics

446 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1981-08-01
Mått:155 x 235 x 20 mm
Vikt:540 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:350
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540108504

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.

Mer från samma författare

Constructive Mathematics

F. Richman

E-bok

2006

570 kr

Mer från samma serie

Del 1144

Knot Theory and Manifolds

Dale Rolfsen

Häftad, 1985

281 kr

Del 620

Moduli Theory and Classification Theory of Algebraic Varieties

H. Popp

Häftad, 1977

314 kr

Del 1788

Moduli of Families of Curves for Conformal and Quasiconformal Mappings

Alexander Vasil'ev

Häftad, 2002

499 kr

From Hahn-Banach to Monotonicity

Stephen Simons

Häftad, 2008

554 kr

Del 2070

Probabilistic Group Theory, Combinatorics, and Computing

Alla Detinko, Dane Flannery, Eamonn O'Brien

Häftad, 2013

390 kr

Del 2191

Leavitt Path Algebras

Gene Abrams, Pere Ara, Mercedes Siles Molina

Häftad, 2017

664 kr

Index and Other Useful Information

A. Dold, B. Eckmann

Häftad, 2013

554 kr

Del 1965

Geometric Properties of Banach Spaces and Nonlinear Iterations

Charles Chidume

Häftad, 2009

556 kr

Del 2229

Spectral Theory for Simply Periodic Solutions of the Sinh-Gordon Equation

Sebastian Klein

Häftad, 2018

445 kr

Del 2228

Zeta Integrals, Schwartz Spaces and Local Functional Equations

Wen-Wei Li

Häftad, 2018

500 kr

Du kanske också är intresserad av

Pokémon Pokémon Mega Evolution 05 - Pitch Black Booster

Pokémon

79 kr

Del 873

Biografie: Ein Spiel. Neue Fassung 1984

Max Frisch

Inbunden, 1985

195 kr

Del 873

Das Wasser des Sees ist niemals süß

Giulia Caminito

Häftad, 2024

211 kr

Del 873

Goods Trains

Tim Bryan

E-bok

2020

110 kr

Del 873

Emotionen und kognitives schulisches Lernen aus interdisziplinaerer Perspektive

Jutta Standop

Häftad, 2002

1 005 kr

Del 873

Radiative Processes in High Energy Astrophysics

Gabriele Ghisellini

Häftad, 2013

609 kr

Del 873

Goods Trains

Tim Bryan

Häftad, 2020

112 kr

Del 873

Ventilatory Disorders

Mieczyslaw Pokorski

Inbunden, 2015

1 135 kr

Vinit Kumar Gunjan, Jacek M. Zurada - Proceedings of 4th International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications, Häftad

Del 873

Proceedings of 4th International Conference on Recent Trends in Machine Learning, IoT, Smart Cities and Applications

Vinit Kumar Gunjan, Jacek M. Zurada

Häftad, 2024

2 422 kr

Del 873

Ventilatory Disorders

Mieczyslaw Pokorski

Häftad, 2019

1 139 kr

Constructive Mathematics

Proceedings of the New Mexico State University Conference Held at Las Cruces, New Mexico, August 11-15, 1980

AvF. Richman

Häftad, Engelska, 1981

Del 873 i serien Lecture Notes in Mathematics

446 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1981-08-01
Mått:155 x 235 x 20 mm
Vikt:540 g
Format:Häftad
Språk:Engelska
Serie:Lecture Notes in Mathematics
Antal sidor:350
Förlag:Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN:9783540108504

Utforska kategorier

Matematikens grunder inom Naturvetenskap och teknik

Innehållsförteckning

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.