2010, ISBN: 9048180295
[EAN: 9789048180295], Neubuch, [PU: Springer Netherlands Okt 2010], BERTRANDRUSSELL; FOUNDATIONSOFMATHEMATICS; GOTTLOBFREGE; PHILOSOPHYOFMATHEMATICS; TOPOLOGY; VARIABLE; CALCULUS; MATHEMA… Meer...
AbeBooks.de BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
2010, ISBN: 9048180295
[EAN: 9789048180295], Neubuch, [SC: 0.0], [PU: Springer Netherlands], GOTTLOB FREGE; PHILOSOPHY OF MATHEMATICS; TOPOLOGY; VARIABLE; CALCULUS; PROOF; THEOREM; TYPE THEORY; BERTRAND RUSSELL… Meer...
ZVAB.com AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)] NEW BOOK. Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |
ISBN: 9789048180295
[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 193… Meer...
booklooker.de BuchWeltWeit Inh. Ludwig Meier e.K. Verzendingskosten:Versandkostenfrei, Versand nach Deutschland. (EUR 0.00) Details... |
ISBN: 9789048180295
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… Meer...
BarnesandNoble.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |
2010, ISBN: 9789048180295
[PU: Berlin : Springer], XII, 512 Pages ; With Figures 23,5 x 15,5 cm Synthese Library ; Volume 341 - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Marki… Meer...
booklooker.de |
2010, ISBN: 9048180295
[EAN: 9789048180295], Neubuch, [PU: Springer Netherlands Okt 2010], BERTRANDRUSSELL; FOUNDATIONSOFMATHEMATICS; GOTTLOBFREGE; PHILOSOPHYOFMATHEMATICS; TOPOLOGY; VARIABLE; CALCULUS; MATHEMA… Meer...
2010, ISBN: 9048180295
[EAN: 9789048180295], Neubuch, [SC: 0.0], [PU: Springer Netherlands], GOTTLOB FREGE; PHILOSOPHY OF MATHEMATICS; TOPOLOGY; VARIABLE; CALCULUS; PROOF; THEOREM; TYPE THEORY; BERTRAND RUSSELL… Meer...
ISBN: 9789048180295
[ED: Taschenbuch], [PU: Springer Netherlands], Neuware - The period in the foundations of mathematics that started in 1879 with the publication of Frege's Begriffsschrift and ended in 193… Meer...
ISBN: 9789048180295
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… Meer...
2010, ISBN: 9789048180295
[PU: Berlin : Springer], XII, 512 Pages ; With Figures 23,5 x 15,5 cm Synthese Library ; Volume 341 - Innen sauberer, guter Zustand. Softcover, Broschur mit den üblichen Bibliotheks-Marki… Meer...
Bibliografische gegevens van het best passende boek
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Logicism, Intuitionism, and Formalism: What Has Become of Them? Sten Lindstrïm Editor
EAN (ISBN-13): 9789048180295
ISBN (ISBN-10): 9048180295
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer Netherlands Core >1
524 Bladzijden
Gewicht: 0,783 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2010-09-20T15:35:46+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2024-04-03T00:09:52+02:00 (Amsterdam)
ISBN/EAN: 9789048180295
ISBN - alternatieve schrijfwijzen:
90-481-8029-5, 978-90-481-8029-5
alternatieve schrijfwijzen en verwante zoekwoorden:
Auteur van het boek: krister segerberg, sten, lindström palmgren, hansen erik, stolte, stoltenberg, frege gottlob, bertrand russell, whitehead, hansen herausgeber
Titel van het boek: logicism intuitionism and formalism, what
Gegevens van de uitgever
Auteur: Sten Lindström; Erik Palmgren; Krister Segerberg; Viggo Stoltenberg-Hansen
Titel: Synthese Library; Logicism, Intuitionism, and Formalism - What Has Become of Them?
Uitgeverij: Springer; Springer Netherland
512 Bladzijden
Verschijningsjaar: 2010-10-28
Dordrecht; NL
Gedrukt / Gemaakt in
Taal: Engels
299,59 € (DE)
307,99 € (AT)
330,50 CHF (CH)
POD
XII, 512 p.
BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Bertrand Russell; Formalism; Foundations of mathematics; Gottlob Frege; Intuitionism; Logicism; Philosophy of mathematics; Topology; Variable; calculus; mathematics; proof; theorem; type theory; Mathematical Logic and Foundations; Logic; Philosophy of Language; Epistemology; Ontology; History of Mathematical Sciences; Mathematische Grundlagen; Philosophie: Logik; Sprachphilosophie; Philosophie: Epistemologie und Erkenntnistheorie; Philosophie: Metaphysik und Ontologie; Geschichte der Mathematik; BB; EA
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.Contains essays by world-leading experts in the philosophy and foundations of mathematics, describing current developments in the foundations of mathematics in a historical perspective Analyses the classical philosophical and foundational views of Frege, Brouwer, Hilbert, Gödel and Tarski and examines their relevance for current developments Provides an in-depth analysis of various kinds of neologicist philosophies of mathematics Contains a comprehensive section on mathematical intuitionism and constructive mathematics Offers extensive discussions, by several authors, of the proof-theoretic programme of Hilbert and Bernays
Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9789048122127 Logicism, Intuitionism, and Formalism
< naar Archief...