|
![]() |
|||
|
||||
OverviewWith 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 this 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 these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation. Full Product DetailsAuthor: Mark Van Atten , Pascal Boldini , Michel Bourdeau , Gerhard HeinzmannPublisher: Springer Imprint: Springer ISBN: 9786611876616ISBN 10: 6611876618 Pages: 431 Publication Date: 17 July 2008 Audience: General/trade , General Format: Electronic book text Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |