References for Kurt Gödel

Version for printing
  1. G N Moore, Biography in Dictionary of Scientific Biography (New York 1970-1990).
    http://www.encyclopedia.com/topic/Kurt_Godel.aspx
  2. Biography in Encyclopaedia Britannica.
    http://www.britannica.com/eb/article-9037162/Kurt-Godel

Books:

  1. F A Rodriguez-Consuegra (ed.), Kurt Gödel: unpublished philosophical essays (Basel, 1995).
  2. H Wang, Reflections on Kurt Gödel (Cambridge, Mass., 1987, 2nd ed. 1988).
  3. P Weingartner and L Schmetterer (eds.), Godel remembered : Salzburg, 10-12 July 1983 (Naples, 1987).

Articles:

  1. C C Christian, Remarks concerning Kurt Gödel's life and work, Mathematical logic and its applications (New York-London, 1987), 3-7.
  2. J W Dawson, Kurt Gödel in Sharper Focus, The Mathematical Intelligencer 6 (4) (1984), 9-17.
  3. J W Dawson, The published work of Kurt Gödel: an annotated bibliography, Notre Dame J. Formal Logic 24 (2) (1983), 255-284.
  4. J W Dawson, Addenda and corrigenda to: 'The published work of Kurt Gödel: an annotated bibliography', Notre Dame J. Formal Logic 25 (3) (1984), 283-287.
  5. J W Dawson, The papers of Kurt Gödel, Historia Mathematica 13 (3) (1986), 277.
  6. P Erdős, Recollections on Kurt Gödel, Jahrb. Kurt-Gödel-Ges. (1988), 94-95.
  7. S Feferman, Gödel's Collected Works (1986), 1-36.
  8. S Feferman, Kurt Gödel: conviction and caution, Philos. Natur. 21 (2-4) (1984), 546-562.
  9. I Grattan-Guinness, In memoriam Kurt Gödel: his 1931 correspondence with Zermelo on his incompletability theorem, Historia Mathematica 6 (3) (1979), 294-304.
  10. S C Kleene, The work of Kurt Gödel, J. Symbolic Logic 41 (4) (1976), 761-778.
  11. S C Kleene, An addendum to: 'The work of Kurt Gödel', J. Symbolic Logic 43 (3) (1978), 613.
  12. G Kreisel, Kurt Gödel, Biographical Memoirs of Fellows of the Royal Society of London 26 (1980), 149-224, 27, 697, 28, 718.
  13. Kurt Gödel, Monatshefte für Mathematik 86 (1) (1978/79), 1.
  14. C Parsons, Platonism and mathematical intuition in Kurt Gödel's thought, Bull. Symbolic Logic 1 (1) (1995), 44-74.
  15. O Taussky-Todd, Remembrances of Kurt Gödel, Godel remembered : Salzburg, 10-12 July 1983 (Naples, 1987), 29-41.
  16. R Tieszen, Kurt Gödel and phenomenology, Philos. Sci. 59 (2) (1992), 176-194.
  17. H Wang, Kurt Gödel's intellectual development, The Mathematical Intelligencer 1 (3) (1978), 182-185.
  18. H Wang, Some facts about Kurt Gödel, J. Symbolic Logic 46 (3) (1981), 653-659.
  19. E W Wette, In memory of Kurt Gödel, Internat. Logic Rev. 17-18 (1978), 155-158.

JOC/EFR October 2003

The URL of this page is:
http://www-history.mcs.st-andrews.ac.uk/References/Godel.html