Zur Startseite gehen
0,00 €*
Cover: 9783642689543 | Foundations of Constructive Mathematics | Metamathematical Studies
Dekorationsartikel gehören nicht zum Leistungsumfang.
Foundations of Constructive Mathematics
Metamathematical Studies
Taschenbuch von M. J. Beeson
Sprache: Englisch

139,09 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Aktuell nicht verfügbar

Kategorien:
Beschreibung
This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec­ tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con­ structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.
This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec­ tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con­ structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.
Inhaltsverzeichnis
One. Practice and Philosophy of Constructive Mathematics.- I. Examples of Constructive Mathematics.- II. Informal Foundations of Constructive Mathematics.- III. Some Different Philosophies of Constructive Mathematics.- IV. Recursive Mathematics: Living with Church's Thesis.- V. The Role of Formal Systems in Foundational Studies.- Two. Formal Systems of the Seventies.- VI. Theories of Rules.- VII. Readability.- VIII. Constructive Set Theories.- IX. The Existence Property in Constructive Set Theory.- X. Theories of Rules, Sets, and Classes.- XI. Constructive Type Theories.- Three. Metamathematical Studies.- XII. Constructive Models of Set Theory.- XIII. Proof-Theoretic Strength.- XIV. Some Formalized Metamathematics and Church's Rule.- XV. Forcing.- XVI. Continuity.- Four. Metaphilosophical Studies.- XVII. Theories of Rules and Proofs.- Historical Appendix.- 1. From Gauss to Zermelo: The Origins of Non-Constructive Mathematics.- 2. From Kant to Hilbert: Logic and Philosophy.- 3. Brouwer and the Dutch Intuitionists.- 4. Early Formal Systems for Intuitionism.- 5. Kleene: The Marriage of Recursion Theory and Intuitionism.- 6. The Russian Constructivists and Recursive Analysis.- 7. Model Theory of Intuitionistic Systems.- 8. Logical Studies of Intuitionistic Systems.- 9. Bishop and his Followers.- 10. The Latest Decade.- References.- Index of Axioms, Abbreviations, and Theories.- Index of Names.- Index of Symbols.
Details
Erscheinungsjahr: 2011
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
Inhalt: xxiii
466 S.
ISBN-13: 9783642689543
ISBN-10: 364268954X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Beeson, M. J.
Auflage: Softcover reprint of the original 1st ed. 1985
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
Maße: 235 x 155 x 27 mm
Von/Mit: M. J. Beeson
Erscheinungsdatum: 18.11.2011
Gewicht: 0,744 kg
Artikel-ID: 106366788
Inhaltsverzeichnis
One. Practice and Philosophy of Constructive Mathematics.- I. Examples of Constructive Mathematics.- II. Informal Foundations of Constructive Mathematics.- III. Some Different Philosophies of Constructive Mathematics.- IV. Recursive Mathematics: Living with Church's Thesis.- V. The Role of Formal Systems in Foundational Studies.- Two. Formal Systems of the Seventies.- VI. Theories of Rules.- VII. Readability.- VIII. Constructive Set Theories.- IX. The Existence Property in Constructive Set Theory.- X. Theories of Rules, Sets, and Classes.- XI. Constructive Type Theories.- Three. Metamathematical Studies.- XII. Constructive Models of Set Theory.- XIII. Proof-Theoretic Strength.- XIV. Some Formalized Metamathematics and Church's Rule.- XV. Forcing.- XVI. Continuity.- Four. Metaphilosophical Studies.- XVII. Theories of Rules and Proofs.- Historical Appendix.- 1. From Gauss to Zermelo: The Origins of Non-Constructive Mathematics.- 2. From Kant to Hilbert: Logic and Philosophy.- 3. Brouwer and the Dutch Intuitionists.- 4. Early Formal Systems for Intuitionism.- 5. Kleene: The Marriage of Recursion Theory and Intuitionism.- 6. The Russian Constructivists and Recursive Analysis.- 7. Model Theory of Intuitionistic Systems.- 8. Logical Studies of Intuitionistic Systems.- 9. Bishop and his Followers.- 10. The Latest Decade.- References.- Index of Axioms, Abbreviations, and Theories.- Index of Names.- Index of Symbols.
Details
Erscheinungsjahr: 2011
Fachbereich: Grundlagen
Genre: Mathematik
Rubrik: Naturwissenschaften & Technik
Medium: Taschenbuch
Reihe: Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
Inhalt: xxiii
466 S.
ISBN-13: 9783642689543
ISBN-10: 364268954X
Sprache: Englisch
Ausstattung / Beilage: Paperback
Einband: Kartoniert / Broschiert
Autor: Beeson, M. J.
Auflage: Softcover reprint of the original 1st ed. 1985
Hersteller: Springer-Verlag GmbH
Springer Berlin Heidelberg
Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics
Maße: 235 x 155 x 27 mm
Von/Mit: M. J. Beeson
Erscheinungsdatum: 18.11.2011
Gewicht: 0,744 kg
Artikel-ID: 106366788
Warnhinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9780471122388 | More Rapid Math | Tricks and Tips: 30 Days to Number Mastery | Buch
More Rapid Math: Tricks and Tips
30 Days to Number Mastery
EAN: 9780471122388
Sprache: Englisch
Von/Mit: Edward H Julius
Maße: 254 x 178 x 13 mm

23,15 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780521739559 | Smooth Compactifications of Locally Symmetric Varieties | Ash (u. a.)
Smooth Compactifications of Locally Symmetric Varieties
EAN: 9780521739559
Sprache: Englisch
Von/Mit: Avner Ash (u. a.)

79,60 €*

Aktuell nicht verfügbar

Taschenbuch
Cover: 9783662374467 | Vorlesungen über höhere Mathematik | Adalbert Duschek | Taschenbuch
Vorlesungen über höhere Mathematik
Dritter Band: Gewöhnliche und partielle Differentialgleichungen. Variationsrechnung. Funktionen einer komplexen...
EAN: 9783662374467
Sprache: Deutsch
Von/Mit: Adalbert Duschek

49,99 €*

Aktuell nicht verfügbar

Buch
Cover: 9783030182205 | Superlinear Parabolic Problems | Philippe Souplet (u. a.) | Buch
Superlinear Parabolic Problems
Blow-up, Global Existence and Steady States
EAN: 9783030182205
Sprache: Englisch
Von/Mit: Philippe Souplet (u. a.)

83,45 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9783030081607 | Applied Linear Algebra | Chehrzad Shakiban (u. a.) | Taschenbuch | xxv
Applied Linear Algebra
EAN: 9783030081607
Sprache: Englisch
Von/Mit: Chehrzad Shakiban (u. a.)

58,80 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9783754345665 | Mathe ganz einfach | Elementare Arithmetik und Algebra | Schubert
Mathe ganz einfach
Elementare Arithmetik und Algebra
EAN: 9783754345665
Sprache: Deutsch
Von/Mit: Hermann Schubert

25,00 €*

Lieferzeit 1-2 Werktage

Taschenbuch
Cover: 9780367477967 | A Beginner's Guide to Structural Equation Modeling | Taschenbuch
A Beginner's Guide to Structural Equation Modeling
EAN: 9780367477967
Sprache: Englisch
Von/Mit: Tiffany A. Whittaker (u. a.)

99,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780192872623 | Mathematical Physics with Differential Equations | Yisong Yang | Buch
Mathematical Physics with Differential Equations
EAN: 9780192872623
Sprache: Englisch
Von/Mit: Yisong Yang

61,65 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9798215820513 | The Book of Mathematics | Volume 1 | Simone Malacrida | Taschenbuch
The Book of Mathematics
Volume 1
EAN: 9798215820513
Sprache: Englisch
Von/Mit: Simone Malacrida

35,75 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781951146238 | Explore Math with Origami | Daniel Scher | Taschenbuch | Paperback
Explore Math with Origami
EAN: 9781951146238
Sprache: Englisch
Von/Mit: Daniel Scher

37,40 €*

Aktuell nicht verfügbar

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...