Results for 'John W. Dawson Jr'

1000+ found
Order:
  1.  28
    John W. Dawson, Jr. Why Prove it Again: Alternative Proofs in Mathematical Practice.Jessica Carter - 2016 - Philosophia Mathematica 24 (2):256-263.
  2.  17
    John W. Dawson, Jr. Why Prove it Again: Alternative Proofs in Mathematical Practice. Basel: Birkhäuser, 2015. ISBN: 978-3-319-17367-2 ; 978-3-319-17368-9 . Pp. xii + 204. [REVIEW]Jessica Carter - forthcoming - Philosophia Mathematica:nkw003.
    Direct download  
     
    Export citation  
     
    Bookmark  
  3.  31
    John W. Dawson Jr. A Gödel chronology. Collected Works, Volume I, Publications 1929– 1936, by Kurt Gödel, edited by Solomon Feferman, John W. DawsonJr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort, Clarendon Press, Oxford University Press, New York and Oxford1986, pp. 37– 43. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341.
  4.  25
    John W. Dawson, Jr. Logical Dilemmas: The Life and Work of Kurt Gödel. Wellesley, Massachusetts: A. K. Peters, 1997. Pp. xiv + 361. ISBN 1-56881-025-3. [REVIEW]Martin Davis - 1998 - Philosophia Mathematica 6 (1):116-128.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  13
    Kurt Gödel. Collected Works. Volume 4: Correspondence, A–G. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xix + 662 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $110 .Kurt Gödel. Collected Works. Volume 5: Correspondence, H–Z. Edited by, Solomon Feferman, John W. Dawson, Jr., Warren Goldfarb, Charles Parsons, and Wilfried Sieg. xxiii + 664 pp., frontis., illus., bibl., index. Oxford/New York: Oxford University Press, 2003. $130. [REVIEW]Albert C. Lewis - 2004 - Isis 95 (1):162-163.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  6.  4
    Kurt Gödel. Collected works. Vol. IV, Correspondence A-G; V, Correspondence H-Z. Edited by Solomon Feferman, John W. Dawson Jr., Warren Goldgfarb, Charles Parsons, Wilfried Sieg. Oxford: Claredon Press, 2003. [REVIEW]Roberto Torretti - 2004 - Revista de filosofía (Chile) 60:169-172.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  12
    Kurt Gödel. Collected Works. Volume 1: Publications, 1929–1936. Edited by, Solomon Feferman, John W. Dawson, Jr., Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, and Jean van Heijenoort. xviii + 474 pp., frontis., illus., bibl., index. 1986. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 2: Publications, 1938–1974. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, Robert M. Solovay, and Jean van Heijenoort. xv + 407 pp., frontis., illus., bibl., index. 1990. Oxford/New York: Oxford University Press, 2001. $34.95 .Kurt Gödel. Collected Works. Volume 3: Unpublished Essays and Lectures. Edited by, Solomon Feferman, John W. Dawson, Jr., Charles Parsons, and Robert M. Solovay. xx + 532 pp., frontis., illus., bibl., index. 1995. Oxford/New York: Oxford University Press, 2001. $39.95. [REVIEW]Louise Golland - 2002 - Isis 93 (3):517-518.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  8
    Logical Dilemmas: The Life and Work of Kurt Godel by John W. Dawson, Jr. [REVIEW]Mario Gomez-Torrente - 1998 - Isis 89:356-357.
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  15
    Perspectives on the history of mathematical logic, edited by Thomas Drucker, Birkhäuser, Boston, Basel, and Berlin, 1991, xxiii + 195 pp. - John W. Dawson Jr. The reception of Gödel's incompleteness theorems. Pp. 84–100. [REVIEW]Stewart Shapiro - 1992 - Journal of Symbolic Logic 57 (4):1487-1489.
  10. 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   28 citations  
  11.  52
    Foreword.John W. Dawson Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
  12. Gödel Kurt. Über die Länge von Beweisen (1936a). A reprint of I 116. Reelle Funktionen, by Kurt Gödel, edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory H., Solovay Robert M., and van Heijenoort Jean, Clarendon Press, Oxford University Press, New York and Oxford 1986 pp. 396, 398. Gödel Kurt. On the length of proofs (1936a). English translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the preceding. Reelle Funktionen, by Kurt Gödel, edited by Feferman Solomon ... [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348.
  13.  85
    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   7 citations  
  14.  8
    Review: John W. Dawson, A Godel Chronology. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):341-341.
  15.  42
    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  
  16.  87
    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   7 citations  
  17.  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.
  18.  30
    Collected Works Volume I:Publications, 1929-1936. Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort. [REVIEW]Joseph W. Dauben - 1986 - Isis 77 (4):691-692.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19.  41
    Reinhard Siegmund‐Schultze. Rockefeller and the Internationalization of Mathematics between the Two World Wars: Documents and Studies for the Social History of Mathematics in the Twentieth Century. xiv+341 pp., illus., apps., bibl., indexes. Basel/Boston: Birkhäuser Verlag, 2001. DM 170, SFr 128. [REVIEW]John Dawson Jr - 2003 - Isis 94 (4):756-757.
  20.  8
    Gödel Remembered: Salzburg 10-12 July 1983.John W. Dawson - 1987 - Humanities Press.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  21.  22
    Jacques Hadamard, a Universal Mathematician. Vladimir Maz'ya, Tatyana Shaposhnikova.John Dawson Jr - 1999 - Isis 90 (2):389-390.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  5
    Gödel Remembered, Salzburg 10-12 July 1983.John W. Dawson - 1989 - Journal of Symbolic Logic 54 (1):282-284.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
  24.  15
    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.
  25.  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.
  26.  7
    Martin Davis. The universal computer. The road from Leibniz to Turing. W. W. Norton & Company, New York and London 2000, xii + 257 pp. [REVIEW]John W. Dawson - 2001 - Bulletin of Symbolic Logic 7 (1):65-66.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  27.  55
    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   17 citations  
  28.  11
    Jan von Plato.* Can Mathematics be Proved Consistent?John W. Dawson - forthcoming - Philosophia Mathematica.
    1. BACKGROUNDThe papers of Kurt Gödel were donated to the Institute for Advanced Study by his widow Adele shortly after his death in 1978. They were catalogued by the reviewer during the years 1982–1984 and subsequently placed on indefinite loan to the Rare Books and Manuscripts Division of the Firestone Library at Princeton University, where they were opened to scholars on 1 April, 1985. In 1982 work also commenced on the editing of Gödel’s Collected Works, and in 1998 a grant (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  55
    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  
  30.  7
    A Hinckley PrimerThe Insanity Defense and the Trial of John W. Hinckley, Jr.Jonathan D. Moreno & Lincoln Caplan - 1985 - Hastings Center Report 15 (1):45.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Engines of logic. [REVIEW]John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  32.  20
    Can instructions to nonverbal IQ tests be given in pantomime? Additional applications of a general theory of signs.John W. Oller Jr, Kunok Kim & Yongjae Choe - 2001 - Semiotica 2001 (133).
  33.  17
    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.
  34.  15
    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.
  35.  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 (4 more)  
     
    Export citation  
     
    Bookmark  
  36.  18
    Collected Works Volume I:Publications, 1929-1936 by Kurt Godel; Solomon Feferman; John W. Dawson; Stephen C. Kleene; Gregory H. Moore; Robert M. Solovay; Jean van Heijenoort. [REVIEW]Joseph Dauben - 1986 - Isis 77:691-692.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  14
    Obituary for Ivor Grattan-Guinness.John W. Dawson - 2015 - History and Philosophy of Logic 36 (1):1-1.
    It is with profound sadness that the editors note the passing on 12 December 2014 of Professor Ivor Grattan-Guinness. Born 23 June 1941, Ivor was the founding editor of History and Philosophy of Lo...
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  38.  12
    Review: Andrew Hodges, Alan Turing: the Enigma. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
  39.  8
    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  
  40.  3
    A Gödel Chronology.John W. Dawson - 1990 - Journal of Symbolic Logic 55 (1):341-341.
  41. 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.
  42. 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.
  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. Jacqueline Brunning and Paul Forster, eds., The Rule of Reason: The Philosophy of Charles Sanders Peirce Reviewed by.John W. Oller Jr - 1997 - Philosophy in Review 17 (5):309-311.
     
    Export citation  
     
    Bookmark  
  45.  77
    Central-state materialism and parapsychology.John W. Godbey Jr - 1975 - Analysis 36 (October):22-25.
  46. Foreword.John W. DawsonEditor Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
    With this issue History and Philosophy of Logic begins its twenty-fifth year of publication. In the years since its founding, by virtue of its high standards and broad scope of coverage, it has bec...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  47. B. Defining sport. The nature of sport: a definitional effort.John W. Loy Jr - 2013 - In Jason Holt (ed.), Philosophy of Sport: Core Readings. Broadview Press.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Disjunctive predicates and the reduction of psychology.John W. Godbey Jr - 1978 - Mind 87 (347):433-435.
  49.  4
    Semiotic theory applied to free will, relativity, and determinacy: Or, why the unified field theory sought by Einstein could not be found.John W. Oller Jr - 1996 - Semiotica 108 (3-4):199-244.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. REVIEWS-Engines of logic.M. Davis & John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
1 — 50 / 1000