51 found
Order:
Disambiguations
John W. Dawson [26]John Dawson [19]John W. Dawson Jr [3]John Dawson Jr [2]
John David Dawson [1]
  1. 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 (8 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  2. Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
  3.  49
    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   15 citations  
  4.  39
    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   8 citations  
  5.  77
    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   5 citations  
  6. Kurt Gödel: Collected Works Vol. Ii.Solomon Feferman, John Dawson & Stephen Kleene (eds.) - 1990 - Oxford University Press.
    Translate
     
     
    Export citation  
     
    Bookmark   4 citations  
  7.  79
    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 (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  8.  48
    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  
  9.  56
    Boolean-Valued Set Theory and Forcing.Richard Mansfield & John Dawson - 1976 - Synthese 33 (2-4):223 - 252.
  10.  88
    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.
  11.  11
    The Published Work of Kurt Gödel: An Annotated Bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
  12.  10
    Festschriften for Ivor.John Dawson - 2003 - History and Philosophy of Logic 24 (4):257-257.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  13.  44
    Gödel Turned Out to Be an Unadulterated Platonist, and Apparently Believed That an Eternal “Not” Was Laid Up in Heaven, Where Virtuous Logicians Might Hope to Meet It Hereafter. On This Gödel Commented: Concerning My “Unadulterated” Platonism, It is No More Unadulter.Solomon Feferman, John Dawson, Warren Goldfarb & Robert Solovay - 1995 - Bulletin of Symbolic Logic 1 (1).
  14.  42
    Last Rites and Wrongs—Euthanasia: Autonomy and Responsibility.John Dawson - 1992 - Cambridge Quarterly of Healthcare Ethics 1 (1):81.
    The word “euthanasia” is hopelessly overloaded with emotional connotations. It means so many things to many different people. The implications of euthanasia associated with the Second World War have often rendered the term unsuitable for discussions of a rational manner. As far as I am concerned, what happened in Germany under Hitler had nothing to do with the classic meaning of a gentle and easy death but was rather simply a policy of mass murder.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  15
    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.
  16.  7
    Ordinal Definability in the Rank Hierarchy.John W. Dawson - 1973 - Annals of Mathematical Logic 6 (1):1.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17. REVIEWS-Engines of Logic.M. Davis & John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  18. REVIEWS-The Universal Computer.M. Davis & John W. Dawson - 2001 - Bulletin of Symbolic Logic 7 (1):65-65.
  19.  2
    A Gödel Chronology.John W. Dawson - 1990 - Journal of Symbolic Logic 55 (1):341-341.
  20.  16
    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  
  21.  8
    An Interpretation of the Intuitionistic Propositional Calculus.John Dawson & A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (1):346-346.
  22. A Mental Health Law for Low and Middle Income Countries.John Dawson, Rowena Daw, Adarsh Tripathi & George Szmukler - 2nd ed. 2015 - In Adarsh Tripathi & Jitendra Kumar Trivedi (eds.), Mental Health in South Asia: Ethics, Resources, Programs and Legislation. Springer Verlag.
     
    Export citation  
     
    Bookmark  
  23. Cataloging the Gödel "Nachlass".John Dawson - 1984 - Philosophia Naturalis 21 (2/4):538-545.
  24.  5
    Diskussion Zur Grundlegung der Mathematik.John Dawson - 1990 - Journal of Symbolic Logic 55 (1):343-343.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Engines of Logic. [REVIEW]John Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  26.  6
    Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik.John Dawson - 1990 - Journal of Symbolic Logic 55 (1):344-345.
  27.  51
    Foreword.John W. Dawson Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
  28.  13
    Figural Reading and the Fashioning of Christian Identity in Boyarin, Auerbach and Frei.John David Dawson - 1998 - Modern Theology 14 (2):181-196.
  29.  9
    Gödel Meets Einstein: Time Travel in the Gödel Universe by Palle Yourgrau. [REVIEW]John Dawson - 2001 - Isis 92:203-203.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30.  14
    Gödel Meets Einstein: Time Travel in the Gödel Universe. Palle Yourgrau.John Dawson - 2001 - Isis 92 (1):203-203.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  14
    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.
  32.  10
    Jacques Hadamard, a Universal Mathematician by Vladimir Maz'ya; Tatyana Shaposhnikova. [REVIEW]John Dawson Jr - 1999 - Isis 90:389-390.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  29
    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 (3 more)  
     
    Export citation  
     
    Bookmark  
  34.  11
    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.
  35.  7
    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  
  36.  13
    Obituary for Ivor Grattan-Guinness.John W. Dawson - 2015 - History and Philosophy of Logic 36 (1):1-1.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  37.  8
    On the Intuitionistic Propositional Calculus.John Dawson & A. S. Troelstra - 1990 - Journal of Symbolic Logic 55 (1):344-344.
  38.  11
    Review: Andrew Hodges, Alan Turing: The Enigma. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
  39.  18
    Rockefeller and the Internationalization of Mathematics Between the Two World Wars: Documents and Studies for the Social History of Mathematics in the Twentieth Century. [REVIEW]John Dawson Jr - 2003 - Isis 94:756-757.
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  15
    Review of Church's A Set of Postulates for the Foundation of Logic. [REVIEW]John Dawson - 1990 - Journal of Symbolic Logic 55 (1):345-345.
  41.  2
    Review of Hahn's Reele Funktionen. [REVIEW]John Dawson - 1990 - Journal of Symbolic Logic 55 (1):346-347.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  10
    Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems. [REVIEW]John Dawson, Kurt Godel & Robert Vaught - 1990 - Journal of Symbolic Logic 55 (1):347-348.
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. 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  
  44. 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.
  45. 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.
  46. 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  
  47.  18
    Reasons for Endorsing or Rejecting ‘Self-Binding Directives’ in Bipolar Disorder: A Qualitative Study of Survey Responses From UK Service Users.Tania Gergel, Preety Das, Lucy Stephenson, Gareth Owen, Larry Rifkin, John Dawson, Alex Ruck Keene & Guy Hindley - 2021 - The Lancet Psychiatry 8.
    Summary Background Self-binding directives instruct clinicians to overrule treatment refusal during future severe episodes of illness. These directives are promoted as having potential to increase autonomy for individuals with severe episodic mental illness. Although lived experience is central to their creation, service users’ views on self-binding directives have not been investigated substantially. This study aimed to explore whether reasons for endorsement, ambivalence, or rejection given by service users with bipolar disorder can address concerns regarding self-binding directives, decision-making capacity, and human (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  3
    Foreword.John W. Dawson Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Ergebnisse Eines Mathematischen Kolloquiums.Karl Menger, Egbert Dierker, Karl Sigmund & John W. Dawson - 1998
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  50. The Art of Logick Delivered in the Precepts of Aristotle and Ramus.Thomas Spencer, Nicholas Bourne & John Dawson - 1628 - Printed by John Dawson for Nicholas Bourne, at the South Entrance of the Royall Exchange.
    No categories
     
    Export citation  
     
    Bookmark  
1 — 50 / 51