
2010, ISBN: 9789048155538
gebonden uitgave
[ED: Softcover], [PU: Springer Netherlands], hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1… Meer...
booklooker.de |

ISBN: 9789048155538
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...
Springer.com new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |

ISBN: 9789048155538
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...
Indigo.ca new in stock. Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |

1997, ISBN: 9789048155538
The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysi… Meer...
BetterWorldBooks.com Verzendingskosten:zzgl. Versandkosten., exclusief verzendingskosten Details... |

ISBN: 9789048155538
Paperback, [PU: Springer], This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications… Meer...
BookDepository.com Verzendingskosten:Versandkostenfrei. (EUR 0.00) Details... |

2010, ISBN: 9789048155538
gebonden uitgave
[ED: Softcover], [PU: Springer Netherlands], hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1… Meer...

ISBN: 9789048155538
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...
ISBN: 9789048155538
hiS volume in the Synthese Library Series is the result of a conference T held at the University of Roskilde, Denmark, October 31st-November 1st, 1997. The aim was to provide a forum with… Meer...

1997, ISBN: 9789048155538
The conference on Proof Theory: History and Philosophical Significance held in 1997 at the University of Roskilde, Denmark, tracked the history of proof theory and its role in the analysi… Meer...

ISBN: 9789048155538
Paperback, [PU: Springer], This generalization of Hilbert's original programme has fueled modern proof theory which is a rich part of mathematical logic with many significant implications… Meer...
auteur: | |
Titel: | |
ISBN: |
Gedetalleerde informatie over het boek. - Proof Theory: History and Philosophical Significance
EAN (ISBN-13): 9789048155538
ISBN (ISBN-10): 9048155533
Gebonden uitgave
pocket book
Verschijningsjaar: 2010
Uitgever: Springer-Verlag GmbH
272 Bladzijden
Gewicht: 0,415 kg
Taal: eng/Englisch
Boek bevindt zich in het datenbestand sinds 2011-07-15T18:14:03+02:00 (Amsterdam)
Detailpagina laatst gewijzigd op 2019-12-07T20:08:10+01:00 (Amsterdam)
ISBN/EAN: 9789048155538
ISBN - alternatieve schrijfwijzen:
90-481-5553-3, 978-90-481-5553-8
Gegevens van de uitgever
Auteur: Vincent F. Hendricks; Stig Andur Pedersen; Klaus Frovin Jørgensen
Titel: Synthese Library; Proof Theory - Studies in Epistemology, Logic, Methodology, and Philosophy of Science; History and Philosophical Significance
Uitgeverij: Springer; Springer Netherland
257 Bladzijden
Verschijningsjaar: 2010-12-05
Dordrecht; NL
Gedrukt / Gemaakt in
Gewicht: 0,454 kg
Taal: Engels
139,09 € (DE)
142,99 € (AT)
153,50 CHF (CH)
POD
XII, 257 p.
BC; Previously published in hardcover; Hardcover, Softcover / Philosophie/Allgemeines, Lexika; Philosophie: Logik; Verstehen; history of mathematics; proof; proof theory; B; Logic; Mathematical Logic and Foundations; History of Mathematical Sciences; Philosophy of Science; Logic; Mathematical Logic and Foundations; History of Mathematical Sciences; Philosophy of Science; Religion and Philosophy; Mathematik: Logik; Mathematische Grundlagen; Geschichte der Mathematik; Wissenschaftsphilosophie und -theorie; BB
Preface. Contributing Authors. Introduction. Part 1: Review of Proof Theory. Highlights in Proof Theory; S. Feferman. Part 2: The Background of Hilbert's Proof Theory. The Empiricist Roots of Hilbert's Axiomatic Approach; L. Corry. The Calm Before the Storm: Hilbert's Early Views on Foundations; D. Rowe. Toward Finitist Proof Theory; W. Sieg. Part 3: Brouwer and Weyl on Proof Theory and Philosophy of Mathematics. The Development of Brouwer's Intuitionism; D. van Dalen. Did Brouwer's Intuitionistic Analysis Satisfy its own Epistemological Standards? M. Epple. The Significance of Weyl's Das Kontinuum; S. Feferman. Herman Weyl on the Concept of Continuum; E. Scholz. Part 4: Modern Views and Results from Proof Theory. Relationships between Constructive, Predicative and Classical Systems of Analysis; S. Feferman. Index.Andere boeken die eventueel grote overeenkomsten met dit boek kunnen hebben:
Laatste soortgelijke boek:
9780486320670 Proof Theory (Gaisi Takeuti)
< naar Archief...