CaltechAUTHORS
Published June 2001 | Version Published
Journal Article Open

The prospects for mathematical logic in the twenty-first century

Creators

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

Identifiers

Eprint ID
38610
Resolver ID
CaltechAUTHORS:20130521-132240239

Funding

NSF
DMS-9803515
NSF
DMS-9987437
NSF
DMS-9696268
NSF
DMS-0070179
NSF
DMS-9802843

Dates

Created
2013-05-22
Created from EPrint's datestamp field
Updated
2021-11-09
Created from EPrint's last_modified field

Caltech Custom Metadata

Other Numbering System Name
MathSciNet Review
Other Numbering System Identifier
MR1839544