Sprache: Englisch
Verlag: Springer Nature Switzerland AG, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Anbieter: PBShop.store UK, Fairford, GLOS, Vereinigtes Königreich
EUR 53,88
Anzahl: 1 verfügbar
In den WarenkorbPAP. Zustand: New. New Book. Shipped from UK. Established seller since 2000.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, CH, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Anbieter: Rarewaves.com USA, London, LONDO, Vereinigtes Königreich
EUR 60,75
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
Sprache: Englisch
Verlag: Springer Nature Switzerland Ag, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 62,87
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 181 pages. 6.10x0.39x9.25 inches. In Stock.
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New.
Hardcover. Zustand: As New.
Zustand: New.
Anbieter: Moe's Books, Berkeley, CA, USA
Softcover. Zustand: Very good. Great condition. Bottom corner of front cover is lightly creased. Inside is clean and unmarked.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 115,52
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: New.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 115,51
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New.
Sprache: Englisch
Verlag: Springer Nature Switzerland AG, CH, 2026
ISBN 10: 3032164907 ISBN 13: 9783032164902
Anbieter: Rarewaves.com UK, London, Vereinigtes Königreich
EUR 56,02
Anzahl: 1 verfügbar
In den WarenkorbPaperback. Zustand: New.
Zustand: New. pp. 440.
Anbieter: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irland
Zustand: 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. . . . .
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 139,93
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Sprache: Englisch
Verlag: Springer, Basel, Birkhäuser Basel, Birkhäuser, 2008
ISBN 10: 3764386525 ISBN 13: 9783764386528
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 164,36
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Zustand: 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.
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes Königreich
EUR 172,88
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: As New. Unread book in perfect condition.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 176,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Mispah books, Redhill, SURRE, Vereinigtes Königreich
EUR 163,35
Anzahl: 1 verfügbar
In den WarenkorbHardcover. Zustand: Like New. Like New. book.
Anbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Anbieter: GreatBookPrices, Columbia, MD, USA
Zustand: As New. Unread book in perfect condition.
Zustand: New. pp. 222.
Zustand: New.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.
Zustand: New. pp. 224.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: 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.
Sprache: Englisch
Verlag: Springer International Publishing, 2016
ISBN 10: 3319376578 ISBN 13: 9783319376578
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Buch. Zustand: 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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: 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.