Switch to: References

Add citations

You must login to add citations.
  1. The Gödel Editorial Project: A Synopsis.Solomon Feferman - 2005 - Bulletin of Symbolic Logic 11 (2):132-149.
    The final two volumes, numbers IV and V, of the Oxford University Press edition of the Collected Works of Kurt Gödel [3]-[7] appeared in 2003, thus completing a project that started over twenty years earlier. What I mainly want to do here is trace, from the vantage point of my personal involvement, the at some times halting and at other times intense development of the Gödel editorial project from the first initiatives following Gödel’s death in 1978 to its completion last (...)
    Direct download (12 more)  
    Export citation  
    Bookmark   3 citations  
  • Von Neumann, Gödel and Complexity Theory.Alasdair Urquhart - 2010 - Bulletin of Symbolic Logic 16 (4):516-530.
    Around 1989, a striking letter written in March 1956 from Kurt Gödel to John von Neumann came to light. It poses some problems about the complexity of algorithms; in particular, it asks a question that can be seen as the first formulation of the P=?NP question. This paper discusses some of the background to this letter, including von Neumann's own ideas on complexity theory. Von Neumann had already raised explicit questions about the complexity of Tarski's decision procedure for elementary algebra (...)
    Direct download (4 more)  
    Export citation  
    Bookmark   1 citation