One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference.
Başlık:
One Hundred Years of Intuitionism (1907-2007) : The Cerisy Conference.
Yazar:
van Atten, Mark.
ISBN:
9783764386535
Yazar Ek Girişi:
Fiziksel Tanımlama:
1 online resource (433 pages)
Seri:
Science autour de / around 1900
İçerik:
Pages:1 to 25 -- Pages:26 to 50 -- Pages:51 to 75 -- Pages:76 to 100 -- Pages:101 to 125 -- Pages:126 to 150 -- Pages:151 to 175 -- Pages:176 to 200 -- Pages:201 to 225 -- Pages:226 to 250 -- Pages:251 to 275 -- Pages:276 to 300 -- Pages:301 to 325 -- Pages:326 to 350 -- Pages:351 to 375 -- Pages:376 to 400 -- Pages:401 to 425 -- Pages:426 to 433.
Özet:
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.
Notlar:
Electronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2017. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries.
Tür:
Elektronik Erişim:
Click to View