The prospects for mathematical logic in the twenty-first century (Q2736583)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: The prospects for mathematical logic in the twenty-first century |
scientific article; zbMATH DE number 1644426
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The prospects for mathematical logic in the twenty-first century |
scientific article; zbMATH DE number 1644426 |
Statements
10 September 2001
0 references
recursion theory
0 references
proof theory
0 references
computer science logic
0 references
model theory
0 references
set theory
0 references
The prospects for mathematical logic in the twenty-first century (English)
0 references
The annual meeting of the Association for Symbolic Logic held in Urbana-Champaing, June 2000, included a panel discussion on `The Prospects for Mathematical Logic in the Twenty-First Century'. The panel discussion included independent presentations by four panel members, the authors of the present article consisting of their reports. R. Shore discussed recursion theory, S. Buss proof theory and computer science logic, A. Pillay model theory and A. Kechris set theory.
0 references
