Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published June 2001 | Published
Journal Article Open

The prospects for mathematical logic in the twenty-first century

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

Created:
August 19, 2023
Modified:
March 5, 2024