Prospects for mathematical logic in the twenty-first century (2002)

by Samuel R. Buss , Alexander S. Kechris , Anand Pillay , Richard A. Shore
Venue:BULLETIN OF SYMBOLIC LOGIC
Citations:8 - 0 self

Documents Related by Co-Citation

4 O ponyatii algoritma [On the concept of algorithm], Uspekhi Matematicheskikh Nauk [Russian Mathematical Surveys – Andreĭ N Kolmogorov - 1953
18 Recursion Theory – Joseph R Shoenfield
690 Introduction to metamathematics, D – S C Kleene - 1952
265 An unsolvable problem of elementary number theory – A Church - 1936
115 Sequential abstract state machines capture sequential algorithms – Yuri Gurevich
7 Towards a general theory of computability – R Montague
1161 On computable numbers with an application to the Entscheidungsproblem – A Turing - 1936
4 Algorithm and program; information and data – Donald E Knuth - 1966
21 Mathematische Probleme: Vortrag, gehalten auf dem internationalen Mathematiker-Kongreß zu Paris 1900 (in German). Available at http://wikilivres.info/wiki/Mathematische_ Probleme (viewed Dec – David Hilbert - 2011
3 review of Judson C. Webb, Mechanism, Mentalism and Metamathematics: An Essay on Finitism (D – John R Lucas - 1980
838 Theory of Recursive Functions and Effective Computability – H Rogers - 1967
76 Grundzüge der theoretischen Logik – David Hilbert, Wilhelm Ackermann - 1928
2 A natural axiomatization of Church’s thesis – Nachum Dershowitz, Yuri Gurevich - 2007
21 Why Gödel Didn't Have Church's Thesis – M Davis - 1982
56 Church’s thesis and principles for mechanism, in – R Gandy - 1980
19 Algorithms: A quest for absolute definitions – Andreas Blass, Yuri Gurevich - 2003
23 What Is an Algorithm? – Yiannis N. Moschovakis - 2000
7 Reflections on Church’s Thesis’, Notre Dame – S C Kleene - 1987
34 Absolutely Unsolvable Problems and Relatively Undecidable Propositions - Account of an Anticipation – E Post - 1965