Published June 2001
| Published
Journal Article
Open
The prospects for mathematical logic in the twenty-first century
Chicago
An error occurred while generating the citation.
Abstract
The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed independently.
Additional Information
© 2001 Association for Symbolic Logic. Received January 30, 2001; revised March 20, 2001. I am grateful to Yiannis Moschovakis, Richard Shore, John Steel, and Hugh Woodin for their comments on an earlier draft of this section.Attached Files
Published - 2687773.pdf
Files
2687773.pdf
Files
(2.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:b0f0ed2c9cae6569afb02762a869c7ac
|
2.5 MB | Preview Download |
Additional details
- Eprint ID
- 38610
- Resolver ID
- CaltechAUTHORS:20130521-132240239
- NSF
- DMS-9803515
- NSF
- DMS-9987437
- NSF
- DMS-9696268
- NSF
- DMS-0070179
- NSF
- DMS-9802843
- Created
-
2013-05-22Created from EPrint's datestamp field
- Updated
-
2021-11-09Created from EPrint's last_modified field
- Other Numbering System Name
- MathSciNet Review
- Other Numbering System Identifier
- MR1839544