Results for 'John W. Dawson Jr'

1000+ found
Order:
  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   33 citations  
  2.  52
    Foreword.John W. Dawson Jr - 2004 - History and Philosophy of Logic 25 (1):1-1.
  3.  2
    Ergebnisse Eines Mathematischen Kolloquiums.Karl Menger, Egbert Dierker, Karl Sigmund & John W. Dawson - 1998 - Springer.
    Die von Karl Menger und seinen Mitarbeitern (darunter Kurt Gödel) herausgegebenen "Ergebnisse eines Mathematischen Kolloquiums" zählen zu den wichtigsten Quellenwerken der Wissenschafts- und Geistesgeschichte der Zwischenkriegszeit, mit bahnbrechenden Beiträgen von Menger, Gödel, Tarski, Wald, John von Neumann und vielen anderen. In diesem Band liegt der Inhalt erstmals gesammelt vor. Der Nobelpreisträger Gerard Debreu schrieb die Einleitung, die Kommentare wurden vom Logiker und Gödel-Biographen John Dawson jr., dem Topologen Ryszard Engelking und dem Wirtschaftstheoretiker Werner Hildenbrand verfasst. Außerdem enthält (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  95
    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  
  5.  48
    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  
  6. 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  
  7.  10
    Gödel Remembered: Salzburg 10-12 July 1983.John W. Dawson - 1987 - Humanities Press.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  13
    The published work of Kurt Gödel: an annotated bibliography.John W. Dawson - 1983 - Notre Dame Journal of Formal Logic 24 (2):255-284.
  9. Logical Dilemmas: The Life and Work of Kurt Gödel.John W. Dawson - 1999 - Studia Logica 63 (1):147-150.
  10.  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.
  11.  23
    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  
  12.  6
    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  
  13.  60
    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   21 citations  
  14.  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  
  15.  29
    John W. Dawson, Jr. Why Prove it Again: Alternative Proofs in Mathematical Practice.Jessica Carter - 2016 - Philosophia Mathematica 24 (2):256-263.
  16.  24
    Jan von Plato.* Can Mathematics be Proved Consistent?John W. Dawson - 2023 - Philosophia Mathematica 31 (1):104-111.
    The 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 review.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  3
    A Gödel Chronology.John W. Dawson - 1990 - Journal of Symbolic Logic 55 (1):341-341.
  18.  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  
  19.  10
    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  
  20.  18
    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  
  21.  22
    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).
  22. 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.
  23. 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.
  24.  45
    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.
  25. 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  
  26.  80
    Central-state materialism and parapsychology.John W. Godbey Jr - 1975 - Analysis 36 (October):22-25.
  27.  22
    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  
  28. 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  
  29. 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  
  30.  7
    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  
  31.  1
    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  
  32.  23
    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.
  33.  9
    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  
  34. Engines of logic. [REVIEW]John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  35.  19
    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.
  36.  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.
  37.  14
    Review: Andrew Hodges, Alan Turing: the Enigma. [REVIEW]John W. Dawson - 1985 - Journal of Symbolic Logic 50 (4):1065-1067.
  38. Disjunctive predicates and the reduction of psychology.John W. Godbey Jr - 1978 - Mind 87 (347):433-435.
  39.  1
    REVIEWS-Engines of logic.M. Davis & John W. Dawson - 2002 - Bulletin of Symbolic Logic 8 (1):104.
  40.  2
    REVIEWS-The universal computer.M. Davis & John W. Dawson - 2001 - Bulletin of Symbolic Logic 7 (1):65-65.
  41. 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
     
    Export citation  
     
    Bookmark  
  42.  29
    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  
  43.  36
    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.
  44.  99
    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.
  45.  46
    Individual members 2005.Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, Bryant Adams, John W. Addison Jr & Sergey Adian - 2005 - Bulletin of Symbolic Logic 11 (4).
  46. Individual members 2004.Martın Abadi, Areski Nait Abdallah, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, John W. Addison Jr, Klaus T. Aehlig & Fritz Aeschbach - 2004 - Bulletin of Symbolic Logic 10 (4).
  47.  37
    Individual members 2003.Martın Abadi, Yoshihiro Abe, Francine F. Abeles, Andrew Aberdein, Vicente Aboites, Nathanael Ackerman, Roger D. Acord, Zofia Adamowicz, John W. Addison Jr & Fritz Aeschbach - 2003 - Bulletin of Symbolic Logic 9 (4).
  48. Kielan Yarrow, Patrick Haggard, and John C. Rothwell. Action, arousal, and subjective time.David A. Gallo, John G. Seamon, L. Andrew Coward, Ron Sun, Jing Zhu, John F. Kihlstrom, Steven M. Platek, Jaime W. Thomson, Gordon G. Gallup Jr & Jeroen G. W. Raaijmakers - 2003 - Consciousness and Cognition 12:783.
     
    Export citation  
     
    Bookmark  
  49.  12
    A comparison of two methods of producing experimental extinction.Gregory A. Kimble & John W. Kendall Jr - 1953 - Journal of Experimental Psychology 45 (2):87.
  50.  2
    Testing a theory of photographic meaning.J. Roland Giardetti & John W. Oller Jr - 1995 - Semiotica 106 (1-2):99-152.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000