Search results for 'Emil Leon Post' (try it on Scholar)

1000+ found
Sort by:
  1. Emil Leon Post (1941). The Two-Valued Iterative Systems of Mathematical Logic. London, H. Milford, Oxford University Press.score: 870.0
    INTRODUCTION In ita original form the present paper was presented to the American Mathematical Society, April 2k,, as a companion piece to the writer's ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  2. Emil L. Post (1936). Finite Combinatory Processes-Formulation. Journal of Symbolic Logic 1 (3):103-105.score: 240.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  3. Emil L. Post (1946). Note on a Conjecture of Skolem. Journal of Symbolic Logic 11 (3):73-74.score: 240.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  4. Emil L. Post (1947). Recursive Unsolvability of a Problem of Thue. Journal of Symbolic Logic 12 (1):1-11.score: 240.0
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  5. Emil L. Post & I. Grattan-Guinness (1990). The Modern Paradoxes. History and Philosophy of Logic 11 (1):85-91.score: 240.0
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  6. Xavier Léon, Élie Halévy & Perrine Simon-Nahum (1993). Xavier Léon/Élie Halévy Correspondance (1891-1898). Revue de Métaphysique et de Morale 98 (1/2):3 - 58.score: 180.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  7. I. Grattan-Guinness (1990). The Manuscripts of Emil L. Post. History and Philosophy of Logic 11 (1):77-83.score: 146.0
    Post's Nachlass has recently been made available to the public in an archive in the U.S.A. After a short summary of his life and career, this article indicates the character and content of the manuscripts, and their significance is assessed. Two short passages are transcribed; and. as a separate item, a paper of the 1930s on the paradoxes is reproduced.
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  8. Liesbeth de Mol (2006). Closing the Circle: An Analysis of Emil Post's Early Work. Bulletin of Symbolic Logic 12 (2):267-289.score: 144.0
    In 1931 Kurt Gödel published his incompleteness results, and some years later Church and Turing showed that the decision problem for certain systems of symbolic logic has a negative solution. However, already in 1921 the young logician Emil Post worked on similar problems which resulted in what he called an “anticipation” of these results. For several reasons though he did not submit these results to a journal until 1941. This failure ‘to be the first’, did not discourage him: (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  9. H. B. Enderton (1997). Review: Martin Davis, Solvability, Provability, Definability: The Collected Works of Emil L. Post. [REVIEW] Journal of Symbolic Logic 62 (3):1046-1048.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  10. Alonzo Church (1943). Review: Emil L. Post, Formal Reductions of the General Combinatorial Decision Problem. [REVIEW] Journal of Symbolic Logic 8 (1):50-52.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  11. Alonzo Church (1947). Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem. [REVIEW] Journal of Symbolic Logic 12 (2):55-56.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  12. S. C. Kleene (1947). Review: Emil L. Post, Recursive Unsolvability of a Problem of Thue. [REVIEW] Journal of Symbolic Logic 12 (3):90-91.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  13. T. Thacher Robinson (1986). Review: V. A. Uspensky, R. Alavina, Post's Machine; Emil L. Post, Finite Combinatory Processes--Formulation I. [REVIEW] Journal of Symbolic Logic 51 (1):253-254.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  14. Alonzo Church (1937). Review: Emil L. Post, Finite Combinatory Processes--Formulation 1. [REVIEW] Journal of Symbolic Logic 2 (1):43-43.score: 140.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  15. S. C. Kleene (1947). Review: Emil L. Post, Note on a Conjecture of Skolem. [REVIEW] Journal of Symbolic Logic 12 (1):28-28.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  16. J. C. C. McKinsey (1945). Review: Emil L. Post, Recursively Enumerable Sets of Positive Integers and Their Decision Problems. [REVIEW] Journal of Symbolic Logic 10 (1):18-19.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  17. Hugo Ribeiro (1948). Review: Emil L. Post, Conjuntos Recurrentemente Numerables de Enteros Positivos y Sus Problemas de Decision. [REVIEW] Journal of Symbolic Logic 13 (4):217-217.score: 140.0
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  18. Hartley Rogers (1956). Review: S. C. Kleene, Emil L. Post, The Upper Semi-Lattice of Degrees of Recursive Unsolvability. [REVIEW] Journal of Symbolic Logic 21 (4):407-408.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  19. Stanislaw J. Surma (1973). Emil L. Post's Doctoral Dissertation1. In Stanisław J. Surma (ed.), Studies in the History of Mathematical Logic. Wrocław,Zakład Narodowy Im. Ossolinskich. 11.score: 140.0
    No categories
     
    My bibliography  
     
    Export citation  
  20. H. E. Vaughan (1941). Review: Emil L. Post, The Two-Valued Iterative Systems of Mathematical Logic. [REVIEW] Journal of Symbolic Logic 6 (3):114-115.score: 140.0
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  21. Halina Święczkowska (ed.) (1998). Emil L. Post and the Problem of Mechanical Provability: A Survey of Post's Contributions in the Centenary of His Birth. Chair of Logic, Informatics and Philisiophy of Science University of Białystok.score: 140.0
    No categories
     
    My bibliography  
     
    Export citation  
  22. Stephen Gaselee (1939). Postclassica (1) The Pastoral Elegy. An Anthology. Edited with Introduction, Commentary, and Notes by T. P. Harrison. English Translations by H. J. Leon. Pp. Xii+312. Austin: University of Texas, 1939. Cloth, $2.50. (2)Li. W. Daly and W. Suchier: Altercatio Hadriani Augusti Et Epicteti Philosophi. Pp. 168. (Illinois Studies in Language and Literature, Vol. 24, Nos. 1–2.) Urbana: University of Illinois Press, 1939. Paper, $2. (3)Vincent of Beauvais: De Eruditione Filiorum Nobilium. Edited by A. Steiner. Pp. Xxxn+236. (The Mediaeval Academy of America Publication No. 32.) Cambridge, Mass.: Mediaeval Academy of America, 1938. Cloth, $3.50 Post-Free. (4) Urbanus Magnus Danielis Becclesienis. Edited by J. G. Smyly. Pp. Viii+102. Dublin: Hodges, Figgis (London: Longmans), 1939. Cloth. (5)C. H. Buttimer: Hugonis de Sancto Victore Didascalicon De Studio Legendi. A Critical Text. Pp. Lii+160. (The Catholic University of America Studies in Medieval and Renaissanc Latin, Vol. X.) Washington, D.C. [REVIEW] The Classical Review 53 (5-6):196-198.score: 120.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  23. Marc Krell (2003). Post-Holocaust Vs. Postmodern: Emil Fackenheim's Evolving Dialogue with Christianity. Journal of Jewish Thought and Philosophy 12 (1):69-96.score: 120.0
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  24. H. H. Huxley (1953). Augustus and Post-Augustan Poetry Franz Dornseiff: Verschmähtes Zu Vergil, Horaz Und Properz. (Ber. Der Sächs. Akad. Der Wiss. Zu Leipzig, Phil.-Hist. Kl., Bd. 97, Heft 6.) Pp. 108. Berlin: Akademie-Verlag, 1951. Paper, DM. 11.50. Léon Herrmann: L'Âge d'Argent Doré (Travaux de la Fac. De Phil, Et Lettres de l'Univ. De Bruxelles). Pp. Viii + 174. Paris: Presses Universitaires de France, 1951. Paper, 700 Fr. [REVIEW] The Classical Review 3 (3-4):169-170.score: 120.0
    No categories
    Translate to English
    | Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  25. Alasdair Urquhart (2009). Emil Post. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. 5--617.score: 120.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  26. Geoffrey K. Pullum (2011). On the Mathematical Foundations of Syntactic Structures. Journal of Logic, Language and Information 20 (3):277-296.score: 72.0
    Chomsky’s highly influential Syntactic Structures ( SS ) has been much praised its originality, explicitness, and relevance for subsequent cognitive science. Such claims are greatly overstated. SS contains no proof that English is beyond the power of finite state description (it is not clear that Chomsky ever gave a sound mathematical argument for that claim). The approach advocated by SS springs directly out of the work of the mathematical logician Emil Post on formalizing proof, but few linguists are (...)
    Direct download (6 more)  
     
    My bibliography  
     
    Export citation  
  27. George di Giovanni (2009). Jewish and Post-Christian Interpretations of Hegel. The Owl of Minerva 40 (2):221-237.score: 54.0
    Despite the radically different interests that motivate Emil Fackenheim’s and Henry Harris’s respective interpretations of Hegel, the two have significant points of commonality. They in fact come the closest precisely at points where they seem to differ most. The need and the possibility of ‘reconciliation’ is the theme that animates both interpretations, and both also agree in their assessment of Hegel’s treatment of ‘evil.’ There are nevertheless crucial differences separating the two, which the essay details. The essay concludes wondering, (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  28. Terence Dawson (2008). Rousseau, Childhood, and the Ego : A (Post-)Jungian Reading of Emile. In Raya A. Jones (ed.), Education and Imagination: Post-Jungian Perspectives. Routledge. 52.score: 54.0
  29. Emil L. Fackenheim (1994). To Mend the World: Foundations of Post-Holocaust Jewish Thought. Indiana Univ. Press.score: 42.0
    " -- Franklin H. Littell In To Mend the World Emil L. Fackenheim points the way to Judaism's renewal in a world and an age in which all of our notions -- about ...
    Direct download  
     
    My bibliography  
     
    Export citation  
  30. G. DePaola & R. Ragghianti (1996). The'Revue de Metaphysique Et de Morale'and War. Previously Unpublished Letters From Emile Durkheim to Xavier Leon-Italian, French. Giornale Critico Della Filosofia Italiana 16 (2):223-265.score: 40.0
    No categories
     
    My bibliography  
     
    Export citation  
  31. A. O. Johnson (2008). Higerh Education Sector in Post-War Sierra Leone: Promise and Challenges. Sophia: An African Journal of Philosophy 9 (2).score: 40.0
    No categories
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  32. Stéphan Soulie (2010). L'intégration d'Émile Meyerson à la Communauté Philosophique: Le Rôle de Xavier Léon Et du Réseau de la Revue de Métaphysique Et de Morale. Corpus 58:129-142.score: 40.0
    No categories
    Translate to English
    |
     
    My bibliography  
     
    Export citation  
  33. Julia Kursell (2010). First Person Plural: Roman Jakobson's Grammatical Fictions. Studies in East European Thought 62 (2):217 - 236.score: 36.0
    Roman Jakobson, who had left Russia in 1920 and in 1941 took refuge in the USA from the Nazis, was one of the main figures in post war linguistics and structuralism. Two aspects of his work are examined in this article. Firstly, Jakobson purifies his linguistic theory of pragmatic references. Secondly, he develops his own diplomatic mission of mediating between East and West. In this article, I argue that these two aspects did not develop independently from one another. Instead (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  34. Ana Barahonas, Susana Pinar & Francisco J. Ayala (2005). Introduction and Institutionalization of Genetics in Mexico Ana Barahona, Susana Pinar and Francisco J. Ayala. Journal of the History of Biology 38 (2):273 - 299.score: 36.0
    We explore the distinctive characteristics of Mexico's society, politics and history that impacted the establishment of genetics in Mexico, as a new disciplinary field that began in the early 20th century and was consolidated and institutionalized in the second half. We identify about three stages in the institutionalization of genetics in Mexico. The first stage can be characterized by Edmundo Taboada, who was the leader of a research program initiated during the Cárdenas government (1934-1940), which was primarily directed towards improving (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  35. Leon Guilhamet (forthcoming). Socrates and Post-Socratic Satire. Journal of the History of Ideas.score: 36.0
    Direct download  
     
    My bibliography  
     
    Export citation  
  36. Vaclav Cernik, Józef Vicernik & Emil Visnovsky (2002). Post-Classical Type of Rationality. Dialogue and Universalism 12 (8-10):101-120.score: 36.0
    No categories
     
    My bibliography  
     
    Export citation  
  37. Leon H. Craig (2001). Robert C. Bartlett, The Idea of Enlightenment: A Post-Mortem Study Reviewed By. Philosophy in Review 21 (6):393-395.score: 36.0
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  38. J. R. Lucas, Criticisms and Discussions of the Gödelian Argument.score: 28.0
    based on a list which I distributed at the Turing Conference in Brighton some years ago, with some further additions. In the Proceedings, Machines and Thought, ed. Peter Millican and Andy Clark, Oxford, 1996, Robin Gandy gives a much earlier reference: Emil L. Post, `Absolutely Unsolvable Problems and Relatively Undecidable Propositions—Account of an Anticipation’, in Martin Davis, (ed.), The Undecidable (New York: Raven Press, 1965), pp.340-435, esp. pp.417-24. Chalmers gives a more up-to-date list in his bibliography—which used (...)
    No categories
    Direct download  
     
    My bibliography  
     
    Export citation  
  39. Seth Lazar (2012). Scepticism About Jus Post Bellum. In Larry May & Andrew Forcehimes (eds.), Morality, Jus Post Bellum, and International Law. Cambridge University Press.score: 27.0
    The burgeoning literature on jus post bellum has repeatedly reaffirmed three positions that strike me as deeply implausible: that in the aftermath of wars, compensation should be a priority; that we should likewise prioritize punishing political leaders and war criminals even in the absence of legitimate multilateral institutions; and that when states justifiably launch armed humanitarian interventions, they become responsible for reconstructing the states into which they have intervened – the so called “Pottery Barn” dictum, “You break it, you (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  40. Jerome R. Ravetz (2002). Food Safety, Quality, and Ethics – a Post-Normal Perspective. Journal of Agricultural and Environmental Ethics 15 (3):255-265.score: 24.0
    I argue that the issues of foodquality, in the most general sense includingpurity, safety, and ethics, can no longer beresolved through ``normal'' science andregulation. The reliance on reductionistscience as the basis for policy andimplementation has shown itself to beinadequate. I use several borderline examplesbetween drugs and foods, particularly coffeeand sucrose, to show that ``quality'' is now acomplex attribute. For in those cases thesubstance is either a pure drug, or a bad foodwith drug-like properties; both are marketed asif they were foods. (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  41. Mehmet Karabela (2011). The Development of Dialectic and Argumentation Theory in Post-Classical Islamic Intellectual History. Dissertation, McGill Universityscore: 24.0
    This dissertation is an analysis of the development of dialectic and argumentation theory in post-classical Islamic intellectual history. The central concerns of the thesis are; treatises on the theoretical understanding of the concept of dialectic and argumentation theory, and how, in practice, the concept of dialectic, as expressed in the Greek classical tradition, was received and used by five communities in the Islamic intellectual camp. It shows how dialectic as an argumentative discourse diffused into five communities (theologicians, poets, grammarians, (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  42. Kenneth Aizawa, It is Not All About Turing-Equivalent Computation.score: 24.0
    One account of the history of computation might begin in the 1930’s with some of the work of Alonzo Church, Alan Turing, and Emil Post. One might say that this is where something like the core concept of computation was first formally articulated. Here were the first attempts to formalize an informal notion of an algorithm or effective procedure by which a mathematician might decide one or another logico-mathematical question. As each of these formalisms was shown to compute (...)
    Translate to English
    | Direct download  
     
    My bibliography  
     
    Export citation  
  43. Marja Rytkӧnen (2012). Memorable Fiction. Evoking Emotions and Family Bonds in Post-Soviet Russian Women’s Writing. ARGUMENT 2 (1):59-74.score: 24.0
    This article deals with women-centred prose texts of the 1990s and 2000s in Russia written by women, and focuses especially on generation narratives. By this term the author means fictional texts that explore generational relations within families, from the perspective of repressed experiences, feelings and attitudes in the Soviet period. The selected texts are interpreted as narrating and conceptualizing the consequences of patriarchal ideology for relations between mothers and daughters and for reconstructing connections between Soviet and post-Soviet by revisiting (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
  44. Chad Trevitte (2012). Perversity and Post-Marxian Thought in Buñuel's Late Films. Film-Philosophy 16 (1):213-231.score: 24.0
    This article examines certain motifs from Luis Buñuel's late bourgeois trilogy-- The Discreet Charm of the Bourgoisie ( Le Charme Discret de la Bourgeoisie, 1972), The Phantom of Liberty ( Le Fantôme de la Liberté, 1974), and That Obscure Object of Desire ( Cet Obscur Objet du Désir , 1977)--in order to show how they anticipate key trends in contemporary post-Marxian philosophy. In doing so, it draws upon the work of Slavoj Žižek, whose Lacanian revision of Hegel has provided (...)
    Direct download (8 more)  
     
    My bibliography  
     
    Export citation  
  45. E. M. Dadlez & William L. Andrews (2010). Post-Abortion Syndrome: Creating an Affliction. Bioethics 24 (9):445-452.score: 24.0
    The contention that abortion harms women constitutes a new strategy employed by the pro-life movement to supplement arguments about fetal rights. David C. Reardon is a prominent promoter of this strategy. Post-abortion syndrome purports to establish that abortion psychologically harms women and, indeed, can harm persons associated with women who have abortions. Thus, harms that abortion is alleged to produce are multiplied. Claims of repression are employed to complicate efforts to disprove the existence of psychological harm and causal antecedents (...)
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  46. Taede A. Smedes (2014). Emil Brunner Revisited: On the Cognitive Science of Religion, the Imago Dei, and Revelation. Zygon 49 (1):190-207.score: 24.0
    This article aims at a constructive and argumentative engagement between the cognitive science of religion (CSR) and philosophical and theological reflection on the imago Dei. The Swiss theologian Emil Brunner argued that the theological notion that humans were created in the image of God entails that there is a “point of contact” for revelation to occur. This article argues that Brunner's notion resonates quite strongly with the findings of the CSR. The first part will give a short overview of (...)
    Direct download (4 more)  
     
    My bibliography  
     
    Export citation  
  47. Brandon Brown, Janni Kinsler, Morenike O. Folayan, Karen Allen & Carlos F. Cáceres (2014). Post-Approval Monitoring and Oversight of U.S.-Initiated Human Subjects Research in Resource-Constrained Countries. Journal of Bioethical Inquiry 11 (2):119-123.score: 24.0
    The history of human subjects research and controversial procedures in relation to it has helped form the field of bioethics. Ethically questionable elements may be identified during research design, research implementation, management at the study site, or actions by a study’s investigator or other staff. Post-approval monitoring (PAM) may prevent violations from occurring or enable their identification at an early stage. In U.S.-initiated human subjects research taking place in resource-constrained countries with limited development of research regulatory structures, arranging a (...)
    Direct download (2 more)  
     
    My bibliography  
     
    Export citation  
  48. Louise Racine (2009). Examining the Conflation of Multiculturalism, Sexism, and Religious Fundamentalism Through Taylor and Bakhtin: Expanding Post-Colonial Feminist Epistemology. Nursing Philosophy 10 (1):14-25.score: 24.0
    In this post-9/11 era marked by religious and ethnic conflicts and the rise of cultural intolerance, ambiguities arising from the conflation of multiculturalism, sexism, and religious fundamentalism jeopardize the delivery of culturally safe nursing care to non-Western populations. This new social reality requires nurses to develop a heightened awareness of health issues pertaining to racism and ethnocentrism to provide culturally safe care to non-Western immigrants or refugees. Through the lens of post-colonial feminism, this paper explores the challenge of (...)
    Direct download (7 more)  
     
    My bibliography  
     
    Export citation  
  49. Michel Morange (2006). Post-Genomics, Between Reduction and Emergence. Synthese 151 (3):355 - 360.score: 24.0
    It is frequently said that biology is emerging from a long phase of reductionism. It would be certainly more correct to say that biologists are abandoning a certain form of reductionism. We describe this past form, and the experiments which challenged the previous vision. To face the difficulties which were met, biologists use a series of concepts and metaphors - pleiotropy, tinkering, epigenetics - the ambiguity of which masks the difficulties, instead of solving them. In a similar way, the word (...)
    No categories
    Direct download (5 more)  
     
    My bibliography  
     
    Export citation  
  50. Kenneth Aizawa (2010). Computation in Cognitive Science: It is Not All About Turing-Equivalent Computation. Studies in History and Philosophy of Science Part A 41 (3):227-236.score: 24.0
    One account of the history of computation might begin in the 1930's with some of the work of Alonzo Church, Alan Turing, and Emil Post. One might say that this is where something like the core concept of computation was first formally articulated. Here were the first attempts to formalize an informal notion of an algorithm or effective procedure by which a mathematician might decide one or another logico-mathematical question. As each of these formalisms was shown to compute (...)
    Direct download (3 more)  
     
    My bibliography  
     
    Export citation  
1 — 50 / 1000