One hundred years of intuitionism (1907-2007) : the Cerisy conference /
Saved in:
| Imprint: | Basel ; Boston : Birkhauser, c2008. |
|---|---|
| Description: | 1 online resource (xiii, 422 p.) : ill. |
| Language: | English |
| Series: | Publications des Archives Henri-Poincaré = Publications of the Henri Poincaré archives Publications des Archives Henri-Poincaré. |
| Subject: | |
| Format: | E-Resource Book |
| URL for this record: | http://pi.lib.uchicago.edu/1001/cat/bib/8887522 |
| Summary: | 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. |
|---|---|
| Item Description: | Contains essays from the meeting 1907-2007: one hundred years of intuitionism, held in Cerisy, France, from June 5-12, 2007. |
| Physical Description: | 1 online resource (xiii, 422 p.) : ill. |
| Bibliography: | Includes bibliographical references (p. [391]-416) and index. "A bibliography of leaves E.J. Brouwer": p. [343]-390. |
| ISBN: | 9783764386535 3764386533 9783764386528 3764386525 |