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 (7 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 (7 more)  
     
    Export citation  
     
    My bibliography   10 citations  
  5.  21
    Emil L. Post (1946). Note on a Conjecture of Skolem. Journal of Symbolic Logic 11 (3):73-74.
    Direct download (7 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. Alonzo Church & Emil L. Post (1937). Finite Combinatory Processes--Formulation 1. Journal of Symbolic Logic 2 (1):43.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  8.  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  
  9. 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  
  10. 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  
  11.  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  
  12.  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 (6 more)  
     
    Export citation  
     
    My bibliography  
  13.  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  
  14.  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  
  15.  5
    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.  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  
  17.  3
    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  
  18. 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  
  19.  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  
  20.  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  
  21. 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  
  22. 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  
  23. 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  
  24. 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  
  25. 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  
  26.  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  
  27.  4
    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  
  28.  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  
  29.  5
    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  
  30. 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  
  31. H. B. Enderton (1997). Solvability, Provability, Definability: The Collected Works of Emil L. Post, Edited by Martin Davis, Contemporary Mathematicians, Birkhäuser, Boston, Basel, and Berlin, 1994, Xxviii + 554 Pp. [REVIEW] Journal of Symbolic Logic 62 (3):1046-1048.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  32. Alonzo Church (1943). Post Emil L.. Formal Reductions of the General Combinatorial Decision Problem. American Journal of Mathematics, Vol. 65 , Pp. 197–215. [REVIEW] Journal of Symbolic Logic 8 (2):50-52.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Alonzo Church (1947). Post. Emil L. A Variant of a Recursively Unsolvable Problem. Bulletin of the American Mathematical Society, Vol. 52 , Pp. 264–268. [REVIEW] Journal of Symbolic Logic 12 (2):55-56.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  34. Alonzo Church (1937). Post Emil L.. Finite Combinatory Processes—Formulation 1. Journal of Symbolic Logic 2 (1):43.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  35. S. C. Kleene (1947). Post Emil L.. Note on a Conjecture of Skolem. Journal of Symbolic Logic 12 (1):28.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  36. S. C. Kleene (1947). Post Emil L.. Recursive Unsolvability of a Problem of Thue. Journal of Symbolic Logic 12 (3):90-91.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. J. C. C. McKinsey (1945). Post Emil L.. Recursively Enumerable Sets of Positive Integers and Their Decision Problems. Bulletin of the American Mathematical Society, Vol. 50 , Pp. 284–316. [REVIEW] Journal of Symbolic Logic 10 (1):18-19.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  38. Hugo Ribeiro (1948). Post Emil L.. Conjuntos recurrentemente numerables de enteros positivos y sus problemas de decisión. Spanish translation of X 18 by Fuentes J. R.. Revista matemática hispanoamericana, ser. 4 vol. 7 no. 5 , pp. 187–229. [REVIEW] Journal of Symbolic Logic 13 (4):217.
    No categories
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  39. T. Thacher Robinson (1986). Uspensky V. A.. Post's Machine. English Translation by Alavina R. Of Mašina Posta. Little Mathematics Library. Mir Publishers, Moscow, Also Distributed by Imported Publications, Chicago, 1983, 88 Pp.Post Emil L.. Finite Combinatory Processes—Formulation 1. A Reprint of II 43. Therein, Pp. 84–88. [REVIEW] Journal of Symbolic Logic 51 (1):253-254.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  40. Hartley Rogers (1956). Kleene S. C. And Post Emil L.. The Upper Semi-Lattice of Degrees of Recursive Unsolvability. Annals of Mathematics, Ser. 2 Vol. 59 , Pp. 379–407. [REVIEW] Journal of Symbolic Logic 21 (4):407-408.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  41. H. E. Vaughan (1941). Post Emil L.. The Two-Valued Iterative Systems of Mathematical Logic. Annals of Mathematics Studies, No. 5. Lithoprinted. Princeton University Press, Princeton 1941, 122 Pp. [REVIEW] Journal of Symbolic Logic 6 (3):114-115.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  42.  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  
  43.  16
    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  
  44.  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  
  45.  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  
  46.  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  
  47. 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  
  48.  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  
  49.  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  
  50.  6
    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  
1 — 50 / 1000