Articles liés à Logicism, Intuitionism, and Formalism: What Has Become...
Logicism, Intuitionism, and Formalism: What Has Become of Them? - Couverture souple
Livre 45 sur 304: Synthese Library
Synopsis
This anthology reviews the programmes in the foundations of mathematics from the classical period and assesses their possible relevance for contemporary philosophy of mathematics. A special section is concerned with constructive mathematics.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Sten Lindström is Professor of Philosophy at Umeå University and has been a Research Fellow at the Swedish Collegium for Advanced Study (SCAS). He has published papers on intensional logic, belief revision and philosophy of language, and co-edited the books Logic, Action and Cognition: Essays in Philosophical Logic (Kluwer, 1997) and Collected Papers of Stig Kanger with Essays on his Life and Work, I-II (Kluwer, 2001).
Erik Palmgren is Professor of Mathematics at Uppsala University. His research interests are mainly mathematical logic and the foundations of mathematics. He is presently working on the foundational programme of replacing impredicative constructions by inductive constructions in mathematics, with special emphasis on point-free topology and topos theory.
Krister Segerberg is Emeritus Professor of Philosophy at Uppsala University and the University of Auckland. He is the author of papers in modal logic, the logic of action, belief revision and deontic logic, as well as the books An Essay in Classical Modal Logic (1971) and Classical Propositional Operators: An Exercise in the Foundations of Logic (1982).
Viggo Stoltenberg-Hansen is professor of Mathematical Logic at Uppsala University. His main interests include computability and constructivity in mathematics.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Logicism, Intuitionism, and Formalism: What Has Become...
Image fournie par le vendeur
Logicism Intuitionism and Formalism Volume 341 What Has Become of Them?
Edité par
Berlin : Springer, 2010
ISBN 10 : 9048180295
ISBN 13 : 9789048180295
Ancien ou d'occasion
23,5 x 15,5 cm
Vendeur : avelibro OHG, Dinkelscherben, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
23,5 x 15,5 cm. Etat : Gut. XII, 512 Pages ; With Figures Synthese Library ; Volume 341 - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Markierungen, Stempeln und Einträgen, innen wie außen, siehe Bilder. (Evtl. auch Kleber- und/oder Etikettenreste, sowie -abdrücke durch abgelöste Bibliotheksschilder). In Englischer Sprache B09-04-02L Sprache: Englisch Gewicht in Gramm: 808. N° de réf. du vendeur 74414
Acheter D'occasion
EUR 162
Expédition à EUR 10
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logicism, Intuitionism, and Formalism (eng)
impression à la demandeVendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Évaluation du vendeur 5 sur 5 étoiles
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 19fd3a233d59dae14d71d81fbc2a4757
Acheter neuf
EUR 230,32
Expédition à EUR 8
Expédition depuis Italie vers Etats-Unis
Expédition depuis Italie vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Logicism, Intuitionism, and Formalism: What Has Become of Them? (Synthese Library, 341)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9789048180295_new
Acheter neuf
EUR 251,66
Expédition à EUR 13,17
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logicism, Intuitionism, and Formalism
Edité par
Springer Netherlands Okt 2010, 2010
ISBN 10 : 9048180295
ISBN 13 : 9789048180295
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s.The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.The volume will be of interest primarily to researchers and graduate students of philosophy, logic, mathematics and theoretical computer science. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields. 524 pp. Englisch. N° de réf. du vendeur 9789048180295
Acheter neuf
EUR 269,64
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Logicism, Intuitionism, and Formalism
Edité par
Springer Netherlands, 2010
ISBN 10 : 9048180295
ISBN 13 : 9789048180295
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Contains essays by world-leading experts in the philosophy and foundations of mathematics, describing current developments in the foundations of mathematics in a historical perspectiveAnalyses the classical philosophical and foundational views of . N° de réf. du vendeur 5821862
Acheter neuf
EUR 250,30
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Logicism, Intuitionism, and Formalism
Edité par
Springer, Springer Okt 2010, 2010
ISBN 10 : 9048180295
ISBN 13 : 9789048180295
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Introduction: The Three Foundational Programmes.- Introduction: The Three Foundational Programmes.- Logicism and Neo-Logicism.- Protocol Sentences for Lite Logicism.- Frege's Context Principle and Reference to Natural Numbers.- The Measure of Scottish Neo-Logicism.- Natural Logicism via the Logic of Orderly Pairing.- Intuitionism and Constructive Mathematics.- A Constructive Version of the Lusin Separation Theorem.- Dini's Theorem in the Light of Reverse Mathematics.- Journey into Apartness Space.- Relativization of Real Numbers to a Universe.- 100 Years of Zermelo's Axiom of Choice: What was the Problem with It .- Intuitionism and the Anti-Justification of Bivalence.- From Intuitionistic to Point-Free Topology: On the Foundation of Homotopy Theory.- Program Extraction in Constructive Analysis.- Brouwer's Approximate Fixed-Point Theorem is Equivalent to Brouwer's Fan Theorem.- Formalism.- 'Gödel's Modernism: On Set-Theoretic Incompleteness,' Revisited.- Tarski's Practice and Philosophy: Between Formalism and Pragmatism.- The Constructive Hilbert Program and the Limits of Martin-Löf Type Theory.- Categories, Structures, and the Frege-Hilbert Controversy: The Status of Meta-mathematics.- Beyond Hilbert's Reach .- Hilbert and the Problem of Clarifying the Infinite.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 524 pp. Englisch. N° de réf. du vendeur 9789048180295
Acheter neuf
EUR 299,59
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Logicism, Intuitionism, and Formalism : What Has Become of Them?
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 1931 with Gödel's Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I can reasonably be called the classical period. It saw the development of three major foundational programmes: the logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. In this period, there were also lively exchanges between the various schools culminating in the famous Hilbert-Brouwer controversy in the 1920s.The purpose of this anthology is to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. What can we say, in retrospect, about the various foundational programmes of the classical period and the disputes that took place between them To what extent do the classical programmes of logicism, intuitionism and formalism represent options that are still alive today These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.The volume will be of interest primarily to researchers and graduate students of philosophy, logic, mathematics and theoretical computer science. The material will be accessible to specialists in these areas and to advanced graduate students in the respective fields. N° de réf. du vendeur 9789048180295
Acheter neuf
EUR 414,44
Expédition à EUR 30,50
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Logicism Intuitionism and Formalism Volume 341 What Has Become of Them? Lindström, Sten, Erik Palmgren und Krister Segerberg
Edité par
Berlin : Springer, 2010
ISBN 10 : 9048180295
ISBN 13 : 9789048180295
Ancien ou d'occasion
Couverture souple
Vendeur : BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : gut. 2010. Logicism Intuitionism and Formalism Volume 341 What Has Become of Them? In deutscher Sprache. pages. N° de réf. du vendeur BN446331
Acheter D'occasion
EUR 479,90
Expédition à EUR 39,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)