28 found
Order:
Disambiguations
John W. Dawson [25]John W. Dawson Jr [3]
  1. Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
  2. Why Do Mathematicians Re-Prove Theorems?John W. Dawson Jr - 2006 - Philosophia Mathematica 14 (3):269-286.
    From ancient times to the present, the discovery and presentation of new proofs of previously established theorems has been a salient feature of mathematical practice. Why? What purposes are served by such endeavors? And how do mathematicians judge whether two proofs of the same theorem are essentially different? Consideration of such questions illuminates the roles that proofs play in the validation and communication of mathematical knowledge and raises issues that have yet to be resolved by mathematical logicians. The Appendix, in (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  3.  13
    Andrew Hodges. Alan Turing: The Enigma. Burnett Books, London, and Simon and Schuster, New York, 1983, Ix + 587 Pp. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  4.  42
    The Reception of Godel's Incompleteness Theorems.John W. Dawson - 1984 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1984:253 - 271.
    According to several commentators, Kurt Godel's incompleteness discoveries were assimilated promptly and almost without objection by his contemporaries - - a circumstance remarkable enough to call for explanation. Careful examination reveals, however, that there were doubters and critics, as well as defenders and rival claimants to priority. In particular, the reactions of Carnap, Bernays, Zermelo, Post, Finsler, and Russell, among others, are considered in detail. Documentary sources include unpublished correspondence from Godel's Nachlass.
    Direct download  
     
    Export citation  
     
    Bookmark   14 citations  
  5.  30
    Jean van Heijenoort and the Gödel Editorial Project.John W. Dawson - 2012 - Logica Universalis 6 (3-4):293-299.
    A colleague’s personal recollections of Jean van Heijenoort’s contributions to the editing of volumes I–III of Gödel’s Collected Works and of his interactions with the other editors.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  72
    Collected Works of Kurt Godel 1938-1974.Georg Kreisel, Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay & Jean van Heijenoort - 1991 - Journal of Symbolic Logic 56 (3):1085.
  7.  7
    Martin Davis. Engines of Logic. Mathematicians and the Origin of the Computer. Paperbound Reprint with Altered Title of Bsl VII 65. W. W. Norton & Company, New York and London 2001, XII + 257 Pp. [REVIEW]John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104-104.
  8.  6
    Gödel Remembered, Salzburg 10–12 July 1983, Edited by Paul Weingartner and Leopold Schmetterer, History of Logic, No. 4, Bibliopolis, Naples1987, 187 Pp. [REVIEW]John W. Dawson - 1989 - Journal of Symbolic Logic 54 (1):282-284.
  9.  37
    Discussion on the Foundation of Mathematics.John W. Dawson - 1984 - History and Philosophy of Logic 5 (1):111-129.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  10.  74
    The Compactness of First-Order Logic:From Gödel to Lindström.John W. Dawson - 1993 - History and Philosophy of Logic 14 (1):15-37.
    Though regarded today as one of the most important results in logic, the compactness theorem was largely ignored until nearly two decades after its discovery. This paper describes the vicissitudes of its evolution and transformation during the period 1930-1970, with special attention to the roles of Kurt Gödel, A. I. Maltsev, Leon Henkin, Abraham Robinson, and Alfred Tarski.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  11.  5
    Martin Davis. The Universal Computer. The Road From Leibniz to Turing. W. W. Norton & Company, New York and London 2000, Xii + 257 Pp.John W. Dawson - 2001 - Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  12.  71
    Future Tasks for Gödel Scholars.John W. Dawson & Cheryl A. Dawson - 2005 - Bulletin of Symbolic Logic 11 (2):150-171.
    As initially envisioned, Gödel's Collected Works were to include transcriptions of material from his mathematical workbooks. In the end that material, as well as some other manuscript items from Gödel's Nachlass, had to be left out. This note describes some of the unpublished items in the Nachlass that are likely to attract the notice of scholars and surveys the extent of shorthand transcription efforts undertaken hitherto. Some examples of sources outside Gödel's Nachlass that may be of interest to Gödel scholars (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13. Kurt Gödel Collected Works IV-V: Correspondence.Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Bulletin of Symbolic Logic 10 (4):558-563.
  14.  49
    Foreword.John W. Dawson Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
  15.  9
    The Published Work of Kurt Gödel: An Annotated Bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
  16. Kurt Gödel: Collected Works, Vol. I: Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1998 - Mind 107 (425):219-232.
  17. Ergebnisse Eines Mathematischen Kolloquiums.Karl Menger, Egbert Dierker, Karl Sigmund & John W. Dawson - 1998
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  18.  5
    Ordinal Definability in the Rank Hierarchy.John W. Dawson - 1973 - Annals of Pure and Applied Logic 6 (1):1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  11
    Addenda and Corrigenda To: ``The Published Work of Kurt Gödel: An Annotated Bibliography''.John W. Dawson - 1984 - Notre Dame Journal of Formal Logic 25 (3):283-287.
  20.  28
    Kurt Gödel and the Foundations of Mathematics: Horizons of Truth.John W. Dawson - 2012 - History and Philosophy of Logic 33 (2):195-196.
    History and Philosophy of Logic, Volume 0, Issue 0, Page 1-2, Ahead of Print.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  11
    Obituary for Ivor Grattan-Guinness.John W. Dawson - 2015 - History and Philosophy of Logic 36 (1):1-1.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  22.  8
    Review: Andrew Hodges, Alan Turing: The Enigma. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
  23.  2
    Foreword.John W. Dawson Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. REVIEWS-Engines of Logic.M. Davis & John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  25. REVIEWS-The Universal Computer.M. Davis & John W. Dawson - 2001 - Bulletin of Symbolic Logic 7 (1):65-65.
  26. A Gödel Chronology.John W. Dawson - 1990 - Journal of Symbolic Logic 55 (1):341-341.
  27. Collected Works, Volume I, Publications 1929-1936.Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore & Robert M. Solovay - 1987 - Mind 96 (384):570-575.
     
    Export citation  
     
    Bookmark  
  28. Collected Works. Vol. IV: Correspondence A-G. Vol. V: Correspondence H-Z.Kurt Gödel, Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons & Wilfried Sieg - 2004 - Tijdschrift Voor Filosofie 66 (1):165-166.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark