One Hundred Years of Intuitionism ( - E-book

eBook

One Hundred Years Of Intuitionism (1907-2007) - ENG

The Cerisy Conference

Mark van Atten; ?Pascal Boldini; ?Michel Bourdeau

eBook

$1,980.00

Disponible

Información adicional
Sinopsis

ISBN:	9783764386535
Formato:	Page Fidelity
Idioma:	Inglés
Editorial:	Springer Nature
Tema:	Ciencia
Subtema:	Historia
Año de publicación:	2008-11-09

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 todays leading authors on intuitionism.

eBooks