Language: English
Published by Springer Nature Switzerland AG, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Seller: PBShop.store UK, Fairford, GLOS, United Kingdom
PAP. Condition: New. New Book. Shipped from UK. Established seller since 2000.
Language: English
Published by Springer Nature Switzerland AG, CH, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Paperback. Condition: New.
Language: English
Published by Springer Nature Switzerland Ag, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 181 pages. 6.10x0.39x9.25 inches. In Stock.
Seller: Biblios, Frankfurt am main, HESSE, Germany
Condition: New.
Hardcover. Condition: As New.
Language: English
Published by Springer Verlag GmbH, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Seller: moluna, Greven, Germany
Condition: New.
Seller: Moe's Books, Berkeley, CA, U.S.A.
Softcover. Condition: Very good. Great condition. Bottom corner of front cover is lightly creased. Inside is clean and unmarked.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 96.88
Quantity: Over 20 available
Add to basketCondition: New. In.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Condition: New.
Language: English
Published by Springer Nature Switzerland AG, CH, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Seller: Rarewaves.com UK, London, United Kingdom
Paperback. Condition: New.
Condition: New. pp. 440.
Language: English
Published by Birkhauser Verlag AG, 2008
ISBN 10: 3764386525 ISBN 13: 9783764386528
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794. . 2008. Hardback. . . . .
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 117.36
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Springer, Basel, Birkhäuser Basel, Birkhäuser, 2008
ISBN 10: 3764386525 ISBN 13: 9783764386528
Seller: AHA-BUCH GmbH, Einbeck, Germany
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science.The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 137.84
Quantity: Over 20 available
Add to basketCondition: New. In.
Language: English
Published by Birkhauser Verlag AG, 2008
ISBN 10: 3764386525 ISBN 13: 9783764386528
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book presents philosophical work on intuitionism and gives examples of technical advances and applications. Editor(s): Van Atten, Mark; Boldini, Pascal; Bourdeau, Michel; Heinzmann, Gerhard. Series: Publications des Archives Henri Poincare / Publications of the Henri Poincare Archives / Science Autour de / Around 1900. Num Pages: 422 pages, biography. BIC Classification: HPCF; HPK. Category: (UP) Postgraduate, Research & Scholarly; (UU) Undergraduate. Dimension: 239 x 165 x 29. Weight in Grams: 794. . 2008. Hardback. . . . . Books ship from the US and Ireland.
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
£ 144.99
Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
Seller: Ria Christie Collections, Uxbridge, United Kingdom
£ 148.08
Quantity: Over 20 available
Add to basketCondition: New. In.
Hardcover. Condition: Like New. Like New. book.
Seller: Buchpark, Trebbin, Germany
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Condition: New. pp. 222.
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New.
Taschenbuch. Condition: Neu. Essays on Gożdel's Reception of Leibniz, Husserl, and Brouwer | Mark van Atten | Taschenbuch | Logic, Epistemology, and the Unity of Science | xiv | Englisch | 2016 | Springer | EAN 9783319376578 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Condition: New. pp. 224.
Seller: preigu, Osnabrück, Germany
Taschenbuch. Condition: Neu. Brouwer meets Husserl | On the Phenomenology of Choice Sequences | Mark van Atten | Taschenbuch | Synthese Library | xiii | Englisch | 2010 | Springer | EAN 9789048172818 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Language: English
Published by Springer International Publishing, 2016
ISBN 10: 3319376578 ISBN 13: 9783319376578
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage.The book is organised around Gödel's use of Leibniz, Husserl and Brouwer. Far from considering past philosophers irrelevant to actual systematic concerns, Gödel embraced the use of historical authors to frame his own philosophical perspective. The philosophies of Leibniz and Husserl define his project, while Brouwer's intuitionism is its principal foil: the close affinities between phenomenology and intuitionism set the bar for Gödel's attempt to go far beyond intuitionism.The four central essays are `Monads and sets', `On the philosophical development of Kurt Gödel', `Gödel and intuitionism', and `Construction and constitution in mathematics'. The first analyses and criticises Gödel's attempt to justify, by an argument from analogy with the monadology, the reflection principle in set theory. It also provides further support for Gödel's idea that the monadology needs to be reconstructed phenomenologically, by showing that the unsupplemented monadology is not able to found mathematics directly. The second studies Gödel's reading of Husserl, its relation to Leibniz' monadology, and its influence on his published writings. The third discusses how on various occasions Brouwer's intuitionism actually inspired Gödel's work, in particular the Dialectica Interpretation. The fourth addresses the question whether classical mathematics admits of the phenomenological foundation that Gödel envisaged, and concludes that it does not.The remaining essays provide further context. The essays collected here were written and published over the last decade. Notes have been added to record further thoughts, changes of mind, connections between the essays, and updates of references.
Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume tackles Gödel's two-stage project of first using Husserl's transcendental phenomenology to reconstruct and develop Leibniz' monadology, and then founding classical mathematics on the metaphysics thus obtained. The author analyses the historical and systematic aspects of that project, and then evaluates it, with an emphasis on the second stage.The book is organised around Gödel's use of Leibniz, Husserl and Brouwer. Far from considering past philosophers irrelevant to actual systematic concerns, Gödel embraced the use of historical authors to frame his own philosophical perspective. The philosophies of Leibniz and Husserl define his project, while Brouwer's intuitionism is its principal foil: the close affinities between phenomenology and intuitionism set the bar for Gödel's attempt to go far beyond intuitionism.The four central essays are `Monads and sets', `On the philosophical development of Kurt Gödel', `Gödel and intuitionism', and `Construction and constitution in mathematics'. The first analyses and criticises Gödel's attempt to justify, by an argument from analogy with the monadology, the reflection principle in set theory. It also provides further support for Gödel's idea that the monadology needs to be reconstructed phenomenologically, by showing that the unsupplemented monadology is not able to found mathematics directly. The second studies Gödel's reading of Husserl, its relation to Leibniz' monadology, and its influence on his published writings. The third discusses how on various occasions Brouwer's intuitionism actually inspired Gödel's work, in particular the Dialectica Interpretation. The fourth addresses the question whether classical mathematics admits of the phenomenological foundation that Gödel envisaged, and concludes that it does not.The remaining essays provide further context. The essays collected here were written and published over the last decade. Notes have been added to record further thoughts, changes of mind, connections between the essays, and updates of references.
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - Can the straight line be analysed mathematically such that it does not fall apart into a set of discrete points, as is usually done but through which its fundamental continuity is lost And are there objects of pure mathematics that can change through time Mathematician and philosopher L.E.J. Brouwer argued that the two questions are closely related and that the answer to both is 'yes''. To this end he introduced a new kind of object into mathematics, the choice sequence. But other mathematicians and philosophers have been voicing objections to choice sequences from the start.This book aims to provide a sound philosophical basis for Brouwer's choice sequences by subjecting them to a phenomenological critique in the style of the later Husserl.