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

1000+ found
Order:
  1. Emil Leon Post & Martin Davis (1994). Solvability, Provability, Definability the Collected Works of Emil L. Post. Monograph Collection (Matt - Pseudo).
    No categories
     
    Export citation  
     
    My bibliography   1 citation  
  2.  30
    Emil Leon Post (1941). The Two-Valued Iterative Systems of Mathematical Logic. London, H. Milford, Oxford University Press.
    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 (2 more)  
     
    Export citation  
     
    My bibliography   13 citations  
  3. Emil L. Post (1936). Finite Combinatory Processes-Formulation. Journal of Symbolic Logic 1 (3):103-105.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   14 citations  
  4.  12
    Emil L. Post (1947). Recursive Unsolvability of a Problem of Thue. Journal of Symbolic Logic 12 (1):1-11.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  5.  19
    Emil L. Post (1946). Note on a Conjecture of Skolem. Journal of Symbolic Logic 11 (3):73-74.
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  6.  12
    Emil L. Post & I. Grattan-Guinness (1990). The Modern Paradoxes. History and Philosophy of Logic 11 (1):85-91.
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  7.  7
    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.
    No categories
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  8. L. A. Post (1932). Post, L. A., Notes on Paper by, Notes 6, 8, 10. Classical World: A Quarterly Journal on Antiquity 26:34.
    No categories
     
    Export citation  
     
    My bibliography  
  9. L. A. Post (1932). Post, L. A., Notes on Paper by, N. 17. Classical World: A Quarterly Journal on Antiquity 26:36.
    No categories
     
    Export citation  
     
    My bibliography  
  10.  7
    I. Grattan-Guinness (1990). The Manuscripts of Emil L. Post. History and Philosophy of Logic 11 (1):77-83.
    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)  
     
    Export citation  
     
    My bibliography  
  11.  20
    Liesbeth de Mol (2006). Closing the Circle: An Analysis of Emil Post's Early Work. Bulletin of Symbolic Logic 12 (2):267-289.
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  12.  7
    Alonzo Church (1943). Review: Emil L. Post, Formal Reductions of the General Combinatorial Decision Problem. [REVIEW] Journal of Symbolic Logic 8 (1):50-52.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  13.  2
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  14.  3
    Alonzo Church (1937). Review: Emil L. Post, Finite Combinatory Processes--Formulation 1. [REVIEW] Journal of Symbolic Logic 2 (1):43-43.
    Direct download  
     
    Export citation  
     
    My bibliography  
  15.  4
    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.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  16.  2
    Alonzo Church (1947). Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem. [REVIEW] Journal of Symbolic Logic 12 (2):55-56.
    Direct download  
     
    Export citation  
     
    My bibliography  
  17. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  18.  1
    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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19.  1
    S. C. Kleene (1947). Review: Emil L. Post, Recursive Unsolvability of a Problem of Thue. [REVIEW] Journal of Symbolic Logic 12 (3):90-91.
    Direct download  
     
    Export citation  
     
    My bibliography  
  20. S. C. Kleene (1947). Review: Emil L. Post, Note on a Conjecture of Skolem. [REVIEW] Journal of Symbolic Logic 12 (1):28-28.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  21. 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.
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  22. 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.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  23. 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.
    No categories
     
    Export citation  
     
    My bibliography  
  24. 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.
     
    Export citation  
     
    My bibliography  
  25.  4
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  26.  3
    Alasdair Urquhart (2009). Emil Post. In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier 5--617.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  27.  10
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28.  4
    Marc Krell (2003). Post-Holocaust Vs. Postmodern: Emil Fackenheim's Evolving Dialogue with Christianity. Journal of Jewish Thought and Philosophy 12 (1):69-96.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography  
  29. Marc Krell (2003). Post-Holocaust Vs. Postmodern: Emil Fackenheim's Evolving Dialogue with Christianity. Journal of Jewish Thought and Philosophy 12 (1):69-96.
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  30.  19
    Geoffrey K. Pullum (2011). On the Mathematical Foundations of Syntactic Structures. Journal of Logic, Language and Information 20 (3):277-296.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  31.  3
    S. Barry Cooper (2010). Extending and Interpreting Post's Programme. Annals of Pure and Applied Logic 161 (6):775-788.
    Computability theory concerns information with a causal–typically algorithmic–structure. As such, it provides a schematic analysis of many naturally occurring situations. Emil Post was the first to focus on the close relationship between information, coded as real numbers, and its algorithmic infrastructure. Having characterised the close connection between the quantifier type of a real and the Turing jump operation, he looked for more subtle ways in which information entails a particular causal context. Specifically, he wanted to find simple relations (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  32.  14
    George di Giovanni (2009). Jewish and Post-Christian Interpretations of Hegel. The Owl of Minerva 40 (2):221-237.
    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 (5 more)  
     
    Export citation  
     
    My bibliography  
  33.  2
    Peter J. Haas (2001). Ethics in the Post-Shoah Era. Ethical Perspectives 8 (2):105-116.
    In 1988, my book Morality After Auschwitz: The Radical Challenge of the Nazi Ethic first appeared. The book generated a variety of responses, some positive and enthusiastic and some quite negative. The reason for these responses, of course, was that in the book I staked out a discomforting, and so controversial, position. The overarching conviction which led to the writing of the book was that, like in so many other areas, the process of thinking about ethics and doing moral philosophy (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34.  24
    Emil L. Fackenheim (1994). To Mend the World: Foundations of Post-Holocaust Jewish Thought. Indiana Univ. Press.
    " -- 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 (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  35. Leon H. Craig (2001). Robert C. Bartlett, The Idea of Enlightenment: A Post-Mortem Study Reviewed By. Philosophy in Review 21 (6):393-395.
    No categories
     
    Export citation  
     
    My bibliography  
  36.  3
    Leon Guilhamet (1985). Socrates and Post-Socratic Satire. Journal of the History of Ideas 46 (1):3.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37.  8
    Julia Kursell (2010). First Person Plural: Roman Jakobson's Grammatical Fictions. Studies in East European Thought 62 (2):217 - 236.
    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 (4 more)  
     
    Export citation  
     
    My bibliography  
  38.  5
    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.
    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 (3 more)  
     
    Export citation  
     
    My bibliography  
  39. Vaclav Cernik, Józef Vicernik & Emil Visnovsky (2002). Post-Classical Type of Rationality. Dialogue and Universalism 12 (8-10):101-120.
    No categories
     
    Export citation  
     
    My bibliography  
  40. Seth Lazar (2012). Scepticism About Jus Post Bellum. In Larry May & Andrew Forcehimes (eds.), Morality, Jus Post Bellum, and International Law. Cambridge University Press
    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
      Direct download  
     
    Export citation  
     
    My bibliography  
  41. Roman Murawski (ed.) (2010). Essays in the Philosophy and History of Logic and Mathematics. Rodopi.
    The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the (...)
     
    Export citation  
     
    My bibliography  
  42.  13
    Jason Q. Zhang, Hong Zhu & Hung-bin Ding (2013). Board Composition and Corporate Social Responsibility: An Empirical Investigation in the Post Sarbanes-Oxley Era. [REVIEW] Journal of Business Ethics 114 (3):381-392.
    Although the composition of the board of directors has important implications for different aspects of firm performance, prior studies tend to focus on financial performance. The effects of board composition on corporate social responsibility (CSR) performance remain an under-researched area, particularly in the period following the enactment of the Sarbanes-Oxley Act of 2002 (SOX). This article specifically examines two important aspects of board composition (i.e., the presence of outside directors and the presence of women directors) and their relationship with CSR (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  43.  82
    Ignacio Mastroleo (2015). Post‐Trial Obligations in the Declaration of Helsinki 2013: Classification, Reconstruction and Interpretation. Developing World Bioethics 15 (2).
    The general aim of this article is to give a critical interpretation of post-trial obligations towards individual research participants in the Declaration of Helsinki 2013. Transitioning research participants to the appropriate health care when a research study ends is a global problem. The publication of a new version of the Declaration of Helsinki is a great opportunity to discuss it. In my view, the Declaration of Helsinki 2013 identifies at least two clearly different types of post-trial obligations, specifically, (...)
    Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  44. Taede A. Smedes (2014). Emil Brunner Revisited: On the Cognitive Science of Religion, the Imago Dei, and Revelation. Zygon 49 (1):190-207.
    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)  
     
    Export citation  
     
    My bibliography   2 citations  
  45.  53
    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.
    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)  
     
    Export citation  
     
    My bibliography   1 citation  
  46.  35
    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.
    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)  
     
    Export citation  
     
    My bibliography   5 citations  
  47.  22
    Michel Puech (2013). Why Not Post-Political? Foundations of Science 18 (2):351-353.
    This commentary on Gert Goeminne’s paper “Postphenomenology and the politics of sustainable technology” elaborates on the subpolitics of technology as a basis for dealing with sustainability issues. It questions the “sustainable technology” phrasing of the issue and focuses on the political/post-political debate to eventually suggest that the politics of sustainable technology is a possible post-political question. Minor disagreements on some philosophy of science references are briefly expressed.
    Direct download (7 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  48.  11
    Tiziana Proietti (2015). The Aesthetics of Proportion in Hans van der Laan and Leon Battista Alberti. Aisthesis. Pratiche, Linguaggi E Saperi Dell’Estetico 8 (2):183-199.
    This paper aims at presenting the work of Dutch architecture Hans van der Laan through a comparison with the Renaissance architect Leon Battista Alberti by stating the similarity of the role assigned to proportion in architectural design by both architects. In particular, the study will show how both Van der Laan and Alberti understood proportion and the perceptive and aesthetic values of proportioned forms as the result of an intellectual appreciation.
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  49.  12
    Elsa González (2002). Defining a Post-Conventional Corporate Moral Responsibility. Journal of Business Ethics 39 (1-2):101 - 108.
    The stakeholder approach offers the opportunity to consider corporate responsibility in a wider sense than that afforded by the stockholder or shareholder approaches. Having said that, this article aims to show that this theory does not offer a normative corporate responsibility concept that can be our response to two basic questions. On the one hand, for what is the company morally responsible and, on the other hand, why is the corporation morally responsible in terms of conventional and post-conventional perspectives? (...)
    Direct download (4 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  50.  8
    Steven J. Gold (2010). The Implications of Rorty's Post—Foundational "Moral Imagination" for Teaching Business Ethics. Journal of Business Ethics 94 (2):299 - 310.
    As one of the most influential commentators on the role of modern philosophy, Richard Rorty's work impacted all areas of philosophical inquiry, including business ethics. Rorty's post-foundational approach to "moral imagination" can inform how we teach business ethics in a diverse and philosophically eclectic manner. A summary of Rorty's critique of philosophy, ethics, and applied ethics will be followed by a discussion of the implications for a critical pedagogy and the pragmatic use of an expansive philosophical lexicon in a (...)
    Direct download (3 more)  
     
    Export citation  
     
    My bibliography   3 citations  
1 — 50 / 1000