Van atten mark (69 resultados)

PAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.

Paperback. Condición: New. This book introduces the core ideas of L.E.J. Brouwer's approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer's "intuitionism" offers a coherent alternative to classical (nonconstructive) mathematics.Starting with the rejection of the Principle of the Excluded Middle, the book reconstructs number systems and analysis using Cauchy sequences. It compares constructive and classical methods, highlights where classical theorems fail through "weak counterexamples", and examines Brouwer's classical and constructive versions of the Fixed-Point Theorem. Intuitionistic concepts like choice sequences and the Creating Subject lead to surprising results, such as the continuity of all total real functions and the existence of effective but non-recursive functions. Brief but fundamental comparisons are made with the later alternatives of Markov and Bishop.Intended as an introduction for undergraduates, this book is suitable for mathematics students interested in philosophy as well as philosophers with some mathematical background.…

Paperback. Condición: New. This book introduces the core ideas of L.E.J. Brouwer's approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer's "intuitionism" offers a coherent alternative to classical (nonconstructive) mathematics.Starting with the rejection of the Principle of the Excluded Middle, the book reconstructs number systems and analysis using Cauchy sequences. It compares constructive and classical methods, highlights where classical theorems fail through "weak counterexamples", and examines Brouwer's classical and constructive versions of the Fixed-Point Theorem. Intuitionistic concepts like choice sequences and the Creating Subject lead to surprising results, such as the continuity of all total real functions and the existence of effective but non-recursive functions. Brief but fundamental comparisons are made with the later alternatives of Markov and Bishop.Intended as an introduction for undergraduates, this book is suitable for mathematics students interested in philosophy as well as philosophers with some mathematical background.…

Condición: New.

Paperback. Condición: Brand New. 181 pages. 6.10x0.39x9.25 inches. In Stock.

Condición: New.

Hardcover. Condición: As New.

Condición: New.

Softcover. Condición: Very good. Great condition. Bottom corner of front cover is lightly creased. Inside is clean and unmarked.

Paperback. Condición: New. This book introduces the core ideas of L.E.J. Brouwer's approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer's "intuitionism" offers a coherent alternative to classical (nonconstructive) mathematics.Starting with the rejection of the Principle of the Excluded Middle, the book reconstructs number systems and analysis using Cauchy sequences. It compares constructive and classical methods, highlights where classical theorems fail through "weak counterexamples", and examines Brouwer's classical and constructive versions of the Fixed-Point Theorem. Intuitionistic concepts like choice sequences and the Creating Subject lead to surprising results, such as the continuity of all total real functions and the existence of effective but non-recursive functions. Brief but fundamental comparisons are made with the later alternatives of Markov and Bishop.Intended as an introduction for undergraduates, this book is suitable for mathematics students interested in philosophy as well as philosophers with some mathematical background.…

Condición: New.

Condición: New.

Condición: New. In English.

Condición: New.

Paperback. Condición: New. This book introduces the core ideas of L.E.J. Brouwer's approach to constructivity in mathematics, focusing on analysis, set theory, and topology, while considering his philosophical motivations. Brouwer's "intuitionism" offers a coherent alternative to classical (nonconstructive) mathematics.Starting with the rejection of the Principle of the Excluded Middle, the book reconstructs number systems and analysis using Cauchy sequences. It compares constructive and classical methods, highlights where classical theorems fail through "weak counterexamples", and examines Brouwer's classical and constructive versions of the Fixed-Point Theorem. Intuitionistic concepts like choice sequences and the Creating Subject lead to surprising results, such as the continuity of all total real functions and the existence of effective but non-recursive functions. Brief but fundamental comparisons are made with the later alternatives of Markov and Bishop.Intended as an introduction for undergraduates, this book is suitable for mathematics students interested in philosophy as well as philosophers with some mathematical background.…

Condición: 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. . . . .…

Condición: New. In English.

Condición: New. pp. 440.

Buch. Condición: 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.…

Condición: New. In English.

Condición: 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.…

Condición: New. In English.

Condición: Sehr gut. Zustand: Sehr gut | Seiten: 422 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.

Condición: New.

Taschenbuch. Condición: 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. …

Condición: As New. Unread book in perfect condition.

Condición: New. pp. 222.

Condición: New. pp. 224.

Hardcover. Condición: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

Taschenbuch. Condición: 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. …