Switch to: References

Add citations

You must login to add citations.
  1. Introducing Kurt Gödel [review of Gödel, Collected Works, Vol. 1: Publications, 1929-1936 ].Billy Joe Lucas - 1989 - Russell: The Journal of Bertrand Russell Studies 9 (1).
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Discussion on the foundation of mathematics.John W. Dawson - 1984 - History and Philosophy of Logic 5 (1):111-129.
    This article provides an English translation of a historic discussion on the foundations of mathematics, during which Kurt GÖdel first announced his incompleteness theorem to the mathematical world. The text of the discussion is preceded by brief background remarks and commentary.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  • Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988.Andreas Blass & Jacob Plotkin - 1989 - Journal of Symbolic Logic 54 (2):674-677.