Results for 'Paul Raff'

1000+ found
Order:
  1.  49
    A Formally Verified Proof of the Prime Number Theorem.Jeremy Avigad, Kevin Donnelly, David Gray & Paul Raff - 2007 - ACM Transactions on Computational Logic 9 (1).
    The prime number theorem, established by Hadamard and de la Vallée Poussin independently in 1896, asserts that the density of primes in the positive integers is asymptotic to 1/ln x. Whereas their proofs made serious use of the methods of complex analysis, elementary proofs were provided by Selberg and Erdos in 1948. We describe a formally verified version of Selberg's proof, obtained using the Isabelle proof assistant.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  2. Philosophy of Mind Stephen Burwood, Paul Gilbert and Kathleen Lennon.Stephen Burwood, Paul Gilbert & Kathleen Lennon - 1999
     
    Export citation  
     
    Bookmark   1 citation  
  3.  16
    Paul Oppenheim on Order—The Career of a Logico-Philosophical Concept.Paul Ziche & Thomas Müller - 2013 - In Nikolay Milkov & Volker Peckhaus (eds.), The Berlin Group and the Philosophy of Logical Empiricism. Springer. pp. 265--291.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  4
    Paul Klee: Philosophical Vision, From Nature to Art.Paul Klee - 2012 - Mcmullen Museum of Art, Boston College.
    When Swiss artist Paul Klee died in 1940, he left behind not only paintings that are a testament to his prodigious skill and vision but also a trove of writings and lectures that highlight his impressive intellectual prowess. Paul Klee: Philosophical Vision: From Nature to Art is the fully illustrated catalog accompanying an eponymous exhibition opening in 2012 at the McMullen Museum of Art that focuses on the philosophical depth of Klee's art. Demonstrating how ideas developed in Klee's (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  16
    “Some Things in Them Hard to Understand”: Reflections on an Approach to Paul.Paul J. Achtemeier - 1984 - Interpretation 38 (3):254-267.
    Because Paul has proven difficult to understand, the interpreter must pay careful attention to the language, the rhetorical structure, and the context if unnecessary difficulties are to be avoided.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  7
    Paul Siwek.Paul Siwek - 1960 - Atti Del XII Congresso Internazionale di Filosofia 3:472-473.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  6
    Paul and Religion: Unfinished Conversations.Paul W. Gooch - 2022 - Cambridge University Press.
    Paul and Religion demonstrates the continuing and contemporary relevance of the most important, and most controversial, figure of early Christianity. Paul Gooch interrogates the Pauline writings for their meaning as well as implications for religion as an entire form of life, a stance on the world expressed in distinctive practices. Bringing a philosophical approach to this topic, he connects Paul's ideas to lived experience. In a conversational style, Gooch explores Paul's experience of grace and his dismissal (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Paul Felix Lazarsfeld.Paul Felix Lazarsfeld - 2004 - In Gisela Riescher (ed.), Politische Theorie der Gegenwart in Einzeldarstellungen. Von Adorno Bis Young. Alfred Kröner Verlag. pp. 275.
     
    Export citation  
     
    Bookmark  
  9.  9
    Paul L'Archevêque, Teilhard de Chardin. Nouvel index analytique. Préface de Claude Guénot, Québec, Les Presses de l'Université Laval, 1972, , 289 pages. [REVIEW]Paul-Émile Langevin - 1974 - Laval Théologique et Philosophique 30 (2):206.
  10.  5
    Saint Paul, prophète des Gentils.Paul-Émile Langevin - 1970 - Laval Théologique et Philosophique 26 (1):3.
  11. Paul Oskar Kristeller, "Le Thomisme Et la Pensée Italienne de la Renaissance". [REVIEW]Paul J. W. Miller - 1970 - Journal of the History of Philosophy 8 (4):477.
  12. Paul Janet: la crise du spiritualisme.Paul Janet - 1986 - Corpus: Revue de philosophie 3:133-148.
    No categories
     
    Export citation  
     
    Bookmark  
  13.  3
    Paul Outerbridge: Command Performance.Paul Martineau - 2009 - J. Paul Getty Museum.
    The book includes an essay by the curator and a chronology of the artist's life and work.
    Direct download  
     
    Export citation  
     
    Bookmark  
  14. Paul Copan. [REVIEW]Paul Copan - 2001 - Review of Metaphysics 55 (2):386-387.
    This companion volume to philosopher William Craig’s Tensed Theory of Time is an excellent exposition and critique of the arguments for a tenseless of time as well as a presentation of arguments against it; thus, in light of the Tensed Theory volume, Craig sees an A-theoretic understanding of time vindicated. The present volume is, again, divided into two parts: “Arguments for a B-Theory of Time” and “Arguments Against a B-Theory of Time”. Craig’s meticulously researched and well-reasoned book exhibits an impressive (...)
    No categories
     
    Export citation  
     
    Bookmark  
  15.  18
    Paul K. Feyerabend, Zeitverschwendung, aus dem Englischen übersetzt von Joachim Jung.Paul Cortois - 1998 - Tijdschrift Voor Filosofie 60 (2):401-403.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  20
    Jean Paul Van Bendegem, Inleiding tot de moderne logica en wetenschapsfilosofie: een terreinverkenning.Paul Cortois - 1993 - Tijdschrift Voor Filosofie 55 (2):361-363.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  17. Paul Klee Notebooks.Paul Klee, Jürg Spiller, Ralph Manheim & Heinz Norden - 1992
     
    Export citation  
     
    Bookmark  
  18. The Essential Paul Ramsey a Collection.Paul Ramsey (ed.) - 1994 - Yale University Press.
    Paul Ramsey was one of this century's most important ethicists. From the publication of his classic _Basic Christian Ethics_ in 1950 until his death in 1988, his writings decisively shaped moral discourse and reflection in the areas of theology, law, politics, and medicine. This collection of Ramsey's most important essays on Christian, political, and medical ethics displays the scope and depth of his vision, highlighting both the character of his theological commitments and the continuing significance of his work for (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  19. Engaging Paul Tillich's Thinking on Religion and Science.Paul Henry Carr - 2001 - Zygon 36 (2):p255 - 259.
  20.  66
    Paul Henry, SJ.Paul Henry - 1959 - The Saint Augustine Lecture Series:43-44.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  21. Review: Paul Ziff, Semantic Analysis. [REVIEW]Paul Benacerraf - 1964 - Journal of Symbolic Logic 29 (4):193-194.
  22. The Philosophy of Paul Weiss.Paul Weiss & Lewis Edwin Hahn - 1995 - Open Court Publishing Company.
    Born in 1901, Paul Weiss has made major contributions to several branches of philosophy, as well as to teaching and scholarly publishing. Alfred North Whitehead remarked: "The danger of philosophical teaching is that it may become dead-alive, but in Paul Weiss's presence that is impossible". Weiss is widely believed to be America's greatest living speculative metaphysician, but he has also made notable philosophical contributions to the discussion of sports, the arts, religion, logic, and politics. Professor Weiss has been (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  23.  9
    Paul Thagard, Chris Eliasmith, Paul Rusnock, & Cameron Shelley.Paul Rusnock - 2002 - In Renée Elio (ed.), Common Sense, Reasoning, & Rationality. Oxford University Press. pp. 104.
  24. Remembering Paul Piccone.Paul Gottfried - 2005 - Telos: Critical Theory of the Contemporary 2005 (131):65-74.
     
    Export citation  
     
    Bookmark  
  25. Dialogue: Paul Guyer and Henry Allison on Allison's Kant's Theory of Taste.Paul Guyer & Henry E. Allison - 2006 - In Rebecca Kukla (ed.), Aesthetics and Cognition in Kant's Critical Philosophy. Cambridge University Press.
  26.  18
    Ricoeur, Paul. The Just.Paul Gyllenhammer - 2001 - Review of Metaphysics 54 (4):941-942.
  27. Paul, the Mind of Christ, and Philosophy.Paul W. Gooch - 2009 - In Paul K. Moser (ed.), Jesus and Philosophy: New Essays. Cambridge University Press.
     
    Export citation  
     
    Bookmark   3 citations  
  28.  3
    Paul Hagstrom.Paul Hagstrom - 2012 - In Gillian Russell Delia Graff Fara (ed.), The Routledge Companion to Philosophy of Language. Routledge. pp. 478.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  29. Paul Ricoeur: Medzi» asom smrteºn› M a monumentálnym: Panidallowayová.Paul Ricoeur - unknown - Filozofia 55 (3):263.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  30. Paul Ricoeur: Hermeneutics and the Human Sciences.Paul Ricoeur & John B. Thompson - 1983 - Philosophy and Rhetoric 16 (4):272-275.
     
    Export citation  
     
    Bookmark   6 citations  
  31.  24
    Two Documents by Paul Levi.Paul Levi - 2017 - Historical Materialism 25 (1):175-183.
    This is a translation and critical edition of two documents on the Kapp Putsch and the origins of the united-front policy in the German Communist Party. The documents were written by the kpd leader Paul Levi and their titles and dates are, respectively: ‘Letter to the Central Committee of the Communist Party of Germany’ and ‘Open Letter of the Zentrale of the United Communist Party of Germany’. They are a documentary appendix to our essay ‘Paul Levi and the (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  32.  23
    Paul Theobald & Kathy L. Wood.Paul Theobald - forthcoming - Journal of Thought.
  33.  77
    Paul Johnson Wonders Whether Darwin Would Have Put Atheist Slogans on Buses.Paul Johnson - 2009 - The Chesterton Review 35 (1/2):284-288.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  15
    Paul Ricoeur: The Hermeneutics of Action.Paul Ricœur & Richard Kearney (eds.) - 1996 - Sage Publications.
    This major volume assembles leading scholars to address and explain the significance of Paul Ricoeur's extraordinary body of work. Ricoeur's work is of seminal importance to the development of hermeneutics, phenomenology, and ideology critique in the human sciences. Opening with three key essays from Ricoeur himself--on Europe, fragility and responsibility, and love and justice--this fascinating volume offers a tour of his work ranging across topics such as the hermeneutics of action, narrative force, and the other and deconstruction, while discussing (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  35.  1
    Paul Michael Kurtz: „Was wir von dem Siege erhoffen“. Eine Stellungnahme Hermann Gunkels zur Zeit des Ersten Weltkriegs.Paul Michael Kurtz - 2017 - Journal for the History of Modern Theology/Zeitschrift für Neuere Theologiegeschichte 24 (1):122-130.
    In an opinion piece penned at the Great War’s onset yet apparently unpublished until now, the historian of religion Hermann Gunkel outlined the opportunities he saw for the German people in anticipation of their triumph. He believed this war could consummate what the Napoleonic Wars and the Unification of Germany had not. Gunkel hoped for true German unity, more liberal domestic politics, and spiritual restoration. Further still, he referred to a resurgence of piety on account of the conflict. On the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  20
    Paul Weiss: What is a Philosophy of Sports?Paul Grimley Kuntz - 1976 - Philosophy Today 20 (3):170-189.
  37.  30
    Paul Weiss on Sports as Performing Arts.Paul Grimley Kuntz - 1977 - International Philosophical Quarterly 17 (2):147-165.
  38.  1
    Knothe, Paul. Kants Lehre Vom Inneren Sinn Und Ihre Auffassung Bei Reininger. Erlanger Dissertation 1905. [REVIEW]Paul Knothe - 1905 - Kant Studien 10 (1-3).
  39. The Notebooks of Paul Brunton: Perspectives (Posthumous).Paul Brunton - 1984 - Larson Publications.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  40.  25
    Paul M. Byrne 1916-1974.Mrs Paul M. Byrne - 1973 - Proceedings and Addresses of the American Philosophical Association 47:213 - 214.
    Direct download  
     
    Export citation  
     
    Bookmark  
  41. Problem Families* by Paul S. Cadbury, Cbe, Murdoch MacGregor, Md, Dph, and Catherine Wright, Mb, Dph Mr. Paul S. Cadbury. [REVIEW]Paul S. Cadbury - 1958 - The Eugenics Review 50:27.
     
    Export citation  
     
    Bookmark  
  42. The Roosevelt Lectures of Paul Shorey.Paul Shorey, Ward W. Briggs, E. Christian Kopff & Edgar C. Reinke - 1995
     
    Export citation  
     
    Bookmark  
  43. Paul ricceur (1913-2005) bilancia a výzvy.J. Sivák & Paul Ricoeur - 2006 - Filozofia 61 (1):30.
    No categories
     
    Export citation  
     
    Bookmark  
  44.  14
    Jean-Paul Sartre: Basic Writings.Jean-Paul Sartre (ed.) - 2000 - Routledge.
    Jean-Paul Sartre is one of the most famous philosophers of the twentieth century. The principle founder of existentialism, a political thinker and famous novelist and dramatist, his work has exerted enormous influence in philosophy, literature, politics and cultural studies. Jean-Paul Sartre: Basic Writings is the first collection of Sartre's key philosophical writings and provides an indispensable resource for all students and readers of his work. Stephen Priest's clear and helpful introductions set each reading in context, making the volume (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Jean-Paul Sartre: Basic Writings.Jean-Paul Sartre - 2001 - Routledge.
    Jean-Paul Sartre is one of the most famous philosophers of the twentieth century. The principal founder of existentialism, a political thinker and famous novelist and dramatist, his work has exerted enormous influence in philosophy, literature, politics and cultural studies. Jean-Paul Sartre: Basic Writings is the first collection of Sartre's key philosophical writings and provides an indispensable resource for readers of his work. Stephen Priest's clear and helpful introductions make the volume an ideal companion to those coming to Sartre's (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Logica Studia Paul Bernays Dedicata.Paul Bernays - 1959 - Éditions du Griffon.
    No categories
     
    Export citation  
     
    Bookmark  
  47.  40
    Paul Claudel on the Problem of Evil and the Sufferings of Animals.Paul Claudel & John O'Connor - 2006 - The Chesterton Review 32 (1/2):190-191.
  48.  1
    Nine Modern Moralists: Paul Tillich, Karl Marx, H. Richard Niebuhr, Fyodor Dostoevski, Reinhold Niebuhr, Jacques Maritain, Jean-Paul Sartre, Emil Brunner, Edmond Cahn.Paul Ramsey - 1983 - Lanham, MD : University Press of America.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  49.  29
    Observations de M. Paul Lévy sur la lettre de M. Dieudonné.Paul Lévy - 1968 - Revue de Métaphysique et de Morale 73 (2):250 - 251.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    Paul Weiss, Sport: A Philosophic Inquiry.Paul Dietl - 1971 - Metaphilosophy 2 (2):190-193.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 1000