Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.
Schlagwörter zu:
One Hundred Years of Intuitionism (1907-2007) von Mark van Atten - mit der ISBN: 9783764386535
1907; Intuitionism; Ludwig Wittgenstein; computer; computer science; experience; knowledge; logic; mathematics; mind; proof; proof theory; science; set theory; type theory; B; History of Science; History, Online-Buchhandlung
interessiert haben, schauten sich auch die folgenden Bücher & eBooks an: