One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference
Publication year: 2008
ISBN: 978-3-7643-8653-5
Internet Resource: Please Login to download book
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.
Subject: Humanities, Social Science and Law, 1907, Intuitionism, Ludwig Wittgenstein, computer, computer science, experience, knowledge, logic, mathematics, mind, proof, proof theory, science, set theory, type theory
