The Prospects for Mathematical Logic in the Twenty-First Century
Buss, Samuel R. ; Kechris, Alexander S. ; Pillay, Anand ; Shore, Richard A.
Bull. Symbolic Logic, Tome 7 (2001) no. 1, p. 169-196 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2001-06-14
Classification:  
@article{1182353774,
     author = {Buss, Samuel R. and Kechris, Alexander S. and Pillay, Anand and Shore, Richard A.},
     title = {The Prospects for Mathematical Logic in the Twenty-First Century},
     journal = {Bull. Symbolic Logic},
     volume = {7},
     number = {1},
     year = {2001},
     pages = { 169-196},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1182353774}
}

Buss, Samuel R.; Kechris, Alexander S.; Pillay, Anand; Shore, Richard A. The Prospects for Mathematical Logic in the Twenty-First Century. Bull. Symbolic Logic, Tome 7 (2001) no. 1, pp.  169-196. http://gdmltest.u-ga.fr/item/1182353774/