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. We can only see a short distance ahead, but we can see plenty there that needs to be done. A. Turing, 1950.

• Type: Journal
• Year: 2002
• Where: CORR
• Authors: Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore
• Keywords: CORR 2002, Education, Proof Theory, Recursion Theory, Theory