Limit search to available items
Book Cover
E-book

Title Logicism, intuitionism, and formalism : what has become of them? / edited by Sten Lindstrom [and others]
Published Dordrecht ; London : Springer, 2009

Copies

Description 1 online resource
Series Synthese library : studies in epistemology, logic, methodology, and philosophy of science ; v. 341
Synthese library ; v. 341.
Contents From the contents Preface. Notes On The Contributors. Introduction -- I. Logicism And Neo-Logicism -- II. Intuitionism And Constructive Mathematics -- III. Formalism -- Index
Summary Aims to review the programmes in the foundations of mathematics from the classical period and to assess their possible relevance for contemporary philosophy of mathematics. This work is suitable for researchers and graduate students of philosophy, logic, mathematics and theoretical computer science
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Intuitionistic mathematics.
Mathematics -- Philosophy -- History
31.02 philosophy and theory of mathematics.
08.33 logics and argumentation.
MATHEMATICS -- History & Philosophy.
Intuitionistic mathematics
Mathematics -- Philosophy
Wiskunde.
Intuïtionisme.
Logica.
Formalisme.
Genre/Form History
Congressen (vorm)
Form Electronic book
Author Lindström, Sten, 1945-
ISBN 9781402089268
1402089260
1402089252
9781402089251