Sciweavers

Share
CORR
2002
Springer

The prospects for mathematical logic in the twenty-first century

8 years 8 months ago
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.
Samuel R. Buss, Alexander S. Kechris, Anand Pillay
Added 18 Dec 2010
Updated 18 Dec 2010
Type Journal
Year 2002
Where CORR
Authors Samuel R. Buss, Alexander S. Kechris, Anand Pillay, Richard A. Shore
Comments (0)
books