Authors:Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerh
Publisher: Birkhäuser Basel
Keywords: henri, poincarã©, archives, publications, hundred, science, autour, years, intuitionism, conference, one, des, cerisy
Number of Pages: 422
Published: 2008-08-27
List price: $149.00
ISBN-10: 3764386525
ISBN-13: 9783764386528

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