Search results for 'John W. Dawson Jr' (try it on Scholar)

1000+ found
Order:
  1.  6
    L. P. W. (1912). Ante Limen. A New Latin Book for Younger Beginners, Based Upon Limen. By R. H. Rees, B.A., Assistant-Mistress at Ladybarn House School. One Vol. Ground-Plan of the Forum. Pp. 128. Albemarle Street, W.; John Murray. July, 1911. 1s. 6d. [REVIEW] The Classical Review 26 (01):32-33.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  2.  1
    Jessica Carter (forthcoming). 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] Philosophia Mathematica:nkw003.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  3. Mario Gomez-Torrente (1998). Logical Dilemmas: The Life and Work of Kurt Godel by John W. Dawson, Jr. [REVIEW] Isis: A Journal of the History of Science 89:356-357.
    Direct download  
     
    Export citation  
     
    My bibliography  
  4.  20
    Martin Davis (1990). Gödel Kurt. Über Die Vollständigkeit des Logikkalküls (1929). Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 60–100. Gödel Kurt. On the Completeness of the Calculus of Logic (1929). English Translation by Stefan Bauer-Mengelberg and Jean van Heijenoort of the Preceding. Collected ... [REVIEW] Journal of Symbolic Logic 55 (1):341-342.
    Direct download  
     
    Export citation  
     
    My bibliography  
  5.  10
    Martin Davis (1990). Gödel Kurt. Eine Interpretation des Intuitionistischen Aussagenkalküls (1933f). A Reprint of 41812. Collected Works, Volume I, Publications 1929–1936, 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. 300, 302. Gödel Kurt. An Interpretation of the Intuitionistic Propositional Calculus (1933f). English Translation by John Dawson of the ... [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    Export citation  
     
    My bibliography  
  6.  6
    Martin Davis (1990). Gödel Kurt. Zur Intuitionistischen Arithmetik Und Zahlentheorie (1933e). A Reprint of 41811. Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 286–294. Gödel Kurt. On Intuitionistic Arithmetic and Number Theory (1933e). English Translation by Stefan Bauer-Mengelberg and Jean van ... [REVIEW] Journal of Symbolic Logic 55 (1):346-346.
    Direct download  
     
    Export citation  
     
    My bibliography  
  7.  5
    Martin Davis (1990). 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] Journal of Symbolic Logic 55 (1):348-348.
    Direct download  
     
    Export citation  
     
    My bibliography  
  8.  4
    Martin Davis (1990). Gödel Kurt. On Undecidable Propositions of Formal Mathematical Systems (1934). A Reprint of XXXI 484. 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. 346–369. Gödel Kurt. Postscriptum. A Reprint of XXXI 484. Reelle Funktionen, by Kurt Gödel, Edited by Feferman Solomon, Dawson John W. Jr., Kleene Stephen C., Moore Gregory ... [REVIEW] Journal of Symbolic Logic 55 (1):347-347.
    Direct download  
     
    Export citation  
     
    My bibliography  
  9.  3
    Martin Davis (1990). Gödel Kurt. Review of Skolem's Über Die Unmöglichkeit Einer Vollständigen Charakterisierung der Zahlenreihe Mittels Eines Endlichen Axiomensystems (24716). 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. 378, 380.(Reprinted From Zentralblatt Für Mathematik Undihre Grenzgebiete, Vol. 7 (1934), Pp. 193–194.) Gödel Kurt ... [REVIEW] Journal of Symbolic Logic 55 (1):347-348.
    Direct download  
     
    Export citation  
     
    My bibliography  
  10.  3
    Martin Davis (1990). Gödel Kurt. Diskussion Zur Grundlegung der Mathematik (1931a). A Reprint of 4184. Collected Works, Volume I, Publications 1929–1936, 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. 200, 202. Gödel Kurt. Discussion on Providing a Foundation for Mathematics (1931a). English Translation by John Dawson of the Preceding. Collected Works ... [REVIEW] Journal of Symbolic Logic 55 (1):343-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  11.  2
    Martin Davis (1990). Gödel Kurt. Ein Spezialfall des Entscheidungsproblems der Theoretischen Logik (1932a). A Reprint of 4187. Collected Works, Volume I, Publications 1929–1936, 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, Even Pp. 230–234. Gödel Kurt. A Special Case of the Decision Problem for Theoretical Logic (1932a). English Translation by John Dawson of ... [REVIEW] Journal of Symbolic Logic 55 (1):344-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  12.  2
    Martin Davis (1990). Gödel Kurt. Review of Church's A Set of Postulates for the Foundation of Logic (3594). Collected Works, Volume I, Publications 1929–1936, 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. 256, 258.(Reprinted From Zentralblatt Für Mathematik Und Ihre Grenzgebiete, Vol. 4 (1932), Pp. 145–146.) Gödel Kurt. English Translation by John Dawson of ... [REVIEW] Journal of Symbolic Logic 55 (1):345-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  13. Martin Davis (1990). Gödel Kurt. Einige Metamathematische Resultate Über Entscheidunasdefinitheit Und Widerspruchsfreiheit (1930b). A Reprint of 4181. Collected Works, Volume I, Publications 1929–1936, 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. 140, 142. Gödel Kurt. Some Metamathematical Results on Completeness and Consistency (1930b). A Reprint of ... [REVIEW] Journal of Symbolic Logic 55 (1):342-343.
    Direct download  
     
    Export citation  
     
    My bibliography  
  14. George W. Carey, James W. Ceaser, Michael A. Gillespie, John Gueguen Jr, Manfred Henningsen, Theodore J. Lowi, John Marini, Edward B. McLean, Larry Peterman, David Ricci, Steven B. Smith & E. Robert Statham Jr (eds.) (2002). Public Philosophy and Political Science: Crisis and Reflection. Lexington Books.
    The crisis of western civilization is a crisis of public philosophy. This is the charge of Public Philosophy and Political Science, a stunning new collection of essays edited by E. Robert Statham Jr. Vividly cataloging the decay of the moral and intellectual foundations of civic liberty, the book portrays a generation of Americans alienated from institutions built on public philosophy. The work exposes the failure of America's political scientists to acknowledge and understand this alarming crisis in the American body politic. (...)
    No categories
     
    Export citation  
     
    My bibliography  
  15. John W. Oller Jr, Kunok Kim & Yongjae Choe (2001). Can Instructions to Nonverbal IQ Tests Be Given in Pantomime? Additional Applications of a General Theory of Signs. Semiotica 2001 (133).
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  16.  53
    William W. Tait (2006). Gödel's Correspondence on Proof Theory and Constructive Mathematics Kurt Gödel. Collected Works. Volume IV: Selected Correspondence A–G; Volume V: Selected Correspondence H–Z. Solomon Feferman, John W. Dawson, Warren Goldfarb, Charles Parsons, and Wilfried Sieg, Eds. Oxford: Oxford University Press, 2002. Pp. Xi+ 662; Xxiii+ 664. ISBN 0-19-850073-4; 0-19-850075-0. [REVIEW] Philosophia Mathematica 14 (1):76-111.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  17.  45
    Georg Kreisel (1991). Review: Kurt Godel, Solomon Feferman, John W. Dawson, Stephen C. Kleene, Gregory H. Moore, Robert M. Solovay, Jean van Heijenoort, Collected Works of Kurt Godel 1938-1974. [REVIEW] Journal of Symbolic Logic 56 (3):1085-1089.
  18.  4
    Joseph Dauben (1986). 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] Isis: A Journal of the History of Science 77:691-692.
    Direct download  
     
    Export citation  
     
    My bibliography  
  19.  2
    Martin Davis (1990). Review: John W. Dawson, A Godel Chronology. [REVIEW] Journal of Symbolic Logic 55 (1):341-341.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  20.  1
    D. L. C. Maclachlan (1964). Class Logic: A Programed Text. By John W. Blyth and John H. Jacobson, Jr. New York, Harcourt, Brace & World, Inc., 1963. Pp. Xxi, 392, $5.45. [REVIEW] Dialogue 2 (4):480-481.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. E. J. Campion (2000). The Third Way: Economic Justice According to John Paul II. By W. King Mott, Jr. The European Legacy 5 (2):257-257.
    No categories
     
    Export citation  
     
    My bibliography  
  22. Martin Davis (1990). Review: Kurt Godel, John Dawson, A Property of the Realizations of the Propositional Calculus (1932c); W. V. Quine, Introductory Note to 1932c. [REVIEW] Journal of Symbolic Logic 55 (1):345-345.
     
    Export citation  
     
    My bibliography  
  23.  3
    Donald W. Shriver Jr & E. Richard Knox (1985). Taxation in the History of Protestant Ethics. Journal of Religious Ethics 13 (1):134-160.
    Taxation and government policy related to it have only episodic appearance in classical Protestant ethical sources. Of the early sixteenth century reformers, Luther gave most attention to the subject, justifying taxation in general as necessary for the just service of government to the public good and calling the princes to spend tax monies for that good rather than their own luxury. Calvin made much the same claims but called more clearly for official church scrutiny of all government than did Luther. (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  24.  8
    J. M. W. (1961). John Colet and the Platonic Tradition. Review of Metaphysics 15 (2):345-345.
    Direct download  
     
    Export citation  
     
    My bibliography  
  25.  8
    C. W. (1990). John Fisher (1922-1989). Journal of Aesthetics and Art Criticism 48 (1).
    Direct download  
     
    Export citation  
     
    My bibliography  
  26.  4
    H. D. R. W. (1910). John Peile. The Classical Review 24 (07):230-231.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  4
    H. D. R. W. (1910). University Plays Hymenaeus: A Comedy Acted at St. John's College, Cambridge. Probably Written by Robert Ward. Now First Printed with Introduction and Notes by G. C. Moore Smith. 1908. Fucus Histriomastix: A Comedy Acted at Queens' College, Cambridge, in Lent, 1623. By the Same. 1909. Laelia: A Comedy Acted at Queens' College Probably on March 1, 1595. By the Same. 1910. [REVIEW] The Classical Review 24 (05):159-161.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  8
    H. D. R. W. (1904). Oakesmith's Religion of Plutarch The Religion of Plutarch. A Pagan Creed of Apostolic Times. An Essay by John Oakesmith, D. Litt., M.A. Longmans, Green and Co. 5s. Net. Pp. Xxviii + 229. No Index. [REVIEW] The Classical Review 18 (06):322-.
  29.  13
    M. M. W. (1939). Book Review:Theory of Valuation John Dewey. [REVIEW] Philosophy of Science 6 (4):490-.
  30. A. W. (2003). A Review of A. John Simmons, Justification and Legitimacy: Essays on Rights and Obligations. [REVIEW] Law and Philosophy 22 (2):195-216.
     
    Export citation  
     
    My bibliography  
  31.  2
    M. M. W. (1940). Book Review:Science in Your Life John Pfeiffer; Picture of Health James Clarke; Getting and Spending Mildred Adams; Who Are These Americans? Paul B. Sears; Which Way America? Lyman Bryson. [REVIEW] Philosophy of Science 7 (3):386-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32.  2
    M. M. W. (1947). Book Review:Empirical Philosphies of Religion James Alfred Martin, Jr. [REVIEW] Philosophy of Science 14 (1):103-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33.  3
    M. M. W. (1947). Book Review:Soviet Philosophy John Somerville. [REVIEW] Philosophy of Science 14 (2):172-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34.  3
    M. M. W. (1947). Book Review:The Authoritarian Attempt to Capture Education John Dewey, Sidney Hook, Arthur E. Murphy, Irwin Edman, Bruce Bliven. [REVIEW] Philosophy of Science 14 (1):103-.
  35.  3
    M. M. W. (1947). Book Review:Science and the Planned State John R. Baker. [REVIEW] Philosophy of Science 14 (2):171-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. M. M. W. (1939). Book Review:Crystalline Enzymes John H. Northrop. [REVIEW] Philosophy of Science 6 (3):382-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. M. M. W. (1939). Book Review:Chemistry in Relation to Biology and Medicine with Especial Reference to Insulin and Other Hormones John Jacob Abel. [REVIEW] Philosophy of Science 6 (3):382-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. M. M. W. (1940). Book Review:The Prospects of Philosophy John J. Rolbiecki. [REVIEW] Philosophy of Science 7 (2):263-.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. Edward Regis Jr (1982). J. Roland Pennock and John W. Chapman, Eds., Human Rights: Nomos XXIII Reviewed By. Philosophy in Review 2 (5):242-244.
     
    Export citation  
     
    My bibliography  
  40. Thomas W. Copeland (1959). The Correspondence of Edmund Burke. By John C. Weston, Jr. [REVIEW] Ethics 70:249.
     
    Export citation  
     
    My bibliography  
  41. Edward Regis Jr (1982). J. Roland Pennock And John W. Chapman, Eds., Human Rights: Nomos Xxiii. [REVIEW] Philosophy in Review 2:242-244.
     
    Export citation  
     
    My bibliography  
  42. Herbert W. Schneider (1969). "Naturalism and Historical Understanding: Essays on the Philosophy of John Herman Randall, Jr.", Ed. John P. Anton. [REVIEW] Journal of the History of Philosophy 7 (3):353.
     
    Export citation  
     
    My bibliography  
  43. W. von Leyden (1965). How Philosophy Uses Its Past. By John Herman Randall Jr, (New York and London: Columbia University Press, 1963. Price 26s.). [REVIEW] Philosophy 40 (151):73-.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  44.  30
    Kurt Gödel, Solomon Feferman, Charles Parsons & Stephen G. Simpson (eds.) (2010). Kurt Gödel: Essays for His Centennial. Association for Symbolic Logic.
    Machine generated contents note: Part I. General: 1. The Gödel editorial project: a synopsis Solomon Feferman; 2. Future tasks for Gödel scholars John W. Dawson, Jr., and Cheryl A. Dawson; Part II. Proof Theory: 3. Kurt Gödel and the metamathematical tradition Jeremy Avigad; 4. Only two letters: the correspondence between Herbrand and Gödel Wilfried Sieg; 5. Gödel's reformulation of Gentzen's first consistency proof for arithmetic: the no-counter-example interpretation W. W. Tait; 6. Gödel on intuition and on Hilbert's (...)
    Direct download  
     
    Export citation  
     
    My bibliography  
  45.  90
    John W. Dawson Jr (2006). Why Do Mathematicians Re-Prove Theorems? 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 (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  46.  22
    John W. Dawson Jr & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. 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 (5 more)  
     
    Export citation  
     
    My bibliography  
  47.  11
    John W. Dawson Jr & Cheryl A. Dawson (2005). Future Tasks for Gödel Scholars. 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 (6 more)  
     
    Export citation  
     
    My bibliography  
  48.  11
    John W. Dawson Jr (2012). Jean van Heijenoort and the Gödel Editorial Project. 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  
     
    My bibliography  
  49. John W. Dawson Jr (2004). Foreword. History and Philosophy of Logic 25 (1):1-1.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  50.  8
    R. W. V. Catling (1984). George Rapp JR, John Gifford (Edd.): Troy. The Archaeological Geology. (Suppl. Monograph, 4.) Pp. Xvi+209; 71 Figures, 15 Tables. Princeton, N.J.: Princeton University Press, 1982. £40.90. [REVIEW] The Classical Review 34 (01):144-145.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 1000