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. We can only see a short distance ahead, but we can see plenty there that needs to be done. A. Turing, 1950. §1. Introduction. The annual meeting of the Association for Symbolic Logic held in Urbana-Champaign, June 2000, included a panel discussio