The prospects for mathematical logic in the twenty-first century
Buss, Samuel R. · Kechris, Alexander S. · Pillay, Anand · Shore, Richard A.
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.