Results for 'Emil Leon Post'

1000+ found
Order:
  1.  87
    The Two-Valued Iterative Systems of Mathematical Logic.Emil Leon Post - 1941 - London: 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  
     
    Bookmark   21 citations  
  2.  19
    Emil L. Post. Finite combinatory processes—formulation 1. The journal of symbolic logic, vol. 1 , pp. 103–105.Alonzo Church & Emil L. Post - 1937 - Journal of Symbolic Logic 2 (1):43.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  3. Emil L. post's doctoral dissertation1.Stanislaw J. Surma - 1973 - In Stanisław J. Surma (ed.), Studies in the History of Mathematical Logic. Wrocław, Zakład Narodowy Im. Ossolinskich. pp. 11.
    No categories
     
    Export citation  
     
    Bookmark  
  4.  1
    Emil L. Post and the Problem of Mechanical Provability: A Survey of Post's Contributions in the Centenary of His Birth.Halina Święczkowska (ed.) - 1998 - Chair of Logic, Informatics and Philisiophy of Science University of Białystok.
  5.  13
    The manuscripts of emil L. post.I. Grattan-Guinness - 1990 - 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  
     
    Bookmark   2 citations  
  6.  9
    Review: Emil L. Post, Conjuntos Recurrentemente Numerables de Enteros Positivos y sus Problemas de Decision. [REVIEW]Hugo Ribeiro - 1948 - Journal of Symbolic Logic 13 (4):217-217.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  7.  6
    Review: Emil L. Post, Recursively Enumerable Sets of Positive Integers and Their Decision Problems. [REVIEW]J. C. C. McKinsey - 1945 - Journal of Symbolic Logic 10 (1):18-19.
  8.  24
    Review: Emil L. Post, Formal Reductions of the General Combinatorial Decision Problem. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (1):50-52.
  9.  14
    Review: Emil L. Post, A Variant of a Recursively Unsolvable Problem. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):55-56.
  10.  11
    Review: Emil L. Post, Recursive Unsolvability of a Problem of Thue. [REVIEW]S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):90-91.
  11.  14
    Review: Emil L. Post, The Two-valued Iterative Systems of Mathematical Logic. [REVIEW]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
  12.  1
    Review: Emil L. Post, Note on a Conjecture of Skolem. [REVIEW]S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (1):28-28.
  13.  14
    V. A. Uspensky. Post's machine. English translation by R. Alavina of Mašina Posta. Little mathematics library. Mir Publishers, Moscow, also distributed by Imported Publications, Chicago, 1983, 88 pp. - Emil L. Post. Finite combinatory processes—formulation 1. A reprint of II 43. Therein, pp. 84–88. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  12
    Review: V. A. Uspensky, R. Alavina, Post's Machine; Emil L. Post, Finite Combinatory Processes--Formulation I. [REVIEW]T. Thacher Robinson - 1986 - Journal of Symbolic Logic 51 (1):253-254.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    Review: S. C. Kleene, Emil L. Post, The Upper Semi-Lattice of Degrees of Recursive Unsolvability. [REVIEW]Hartley Rogers - 1956 - Journal of Symbolic Logic 21 (4):407-408.
  16.  10
    Review: Martin Davis, Solvability, Provability, Definability: The Collected Works of Emil L. Post[REVIEW]H. B. Enderton - 1997 - Journal of Symbolic Logic 62 (3):1046-1048.
  17.  3
    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]H. B. Enderton - 1997 - Journal of Symbolic Logic 62 (3):1046-1048.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  7
    Emile Durkheim, 1858–1917; a collection of essays with translations and bibliography. Edited by Kurt Wolff. Columbus: The Ohio State University Press, 1960. XIV + 463 pp. $7.50.Leon J. Goldstein - 1962 - Philosophy of Science 29 (4):443-444.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Finite combinatory processes—formulation.Emil L. Post - 1936 - Journal of Symbolic Logic 1 (3):103-105.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   41 citations  
  20. La Philosophie de Fichte, Ses Rapports Avec la Conscience Contemporaine. Ouvrage Couronné Par l'Académie des Sciences Morales Et Politiques.Xavier Léon & M. Emile Boutroux - 1902 - Presses Universitaires de France.
    No categories
     
    Export citation  
     
    Bookmark  
  21. La Philosophie de Fichte, ses rapports avec la conscience contemporaine.Xavier Léon & M. Emile Boutroux - 1902 - Revue de Métaphysique et de Morale 10 (3):2-2.
    No categories
     
    Export citation  
     
    Bookmark  
  22.  43
    Recursive unsolvability of a problem of thue.Emil L. Post - 1947 - Journal of Symbolic Logic 12 (1):1-11.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   26 citations  
  23.  24
    Emil Post.Alasdair Urquhart - 2009 - In Dov Gabbay (ed.), The Handbook of the History of Logic. Elsevier. pp. 5--617.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  24.  6
    Emile Durkheim, 1858–1917; a collection of essays with translations and bibliography. Edited by Kurt Wolff. Columbus: The Ohio State University Press, 1960. XIV + 463 pp. $7.50. [REVIEW]Leon J. Goldstein - 1962 - Philosophy of Science 29 (4):443-444.
  25. Etudes Sur Descartes.Léon Brunschvicg & Emile Bréhier - 1937 - Librairie Armand Colin.
     
    Export citation  
     
    Bookmark  
  26.  8
    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]Hugo Ribeiro - 1948 - Journal of Symbolic Logic 13 (4):217-217.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  9
    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]J. C. C. McKinsey - 1945 - Journal of Symbolic Logic 10 (1):18-19.
  28.  14
    Rousseau’s Post-Liberal Self: Emile and the Formation of Republican Citizenship.Michael J. Thompson - 2021 - The European Legacy 26 (1):39-53.
    This article discusses Rousseau’s theory of the genesis and development of a “post-liberal self” and its political implications. In his Emile, or Education, Rousseau explores the distinctive features of the post-liberal self through Emile’s growing capacity to think in terms of his social interdependence with others and yet to maintain his critical autonomy. For Rousseau it is only such individuals with a highly developed moral and civic consciousness who are capable of articulating the general will and of properly (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  12
    Post. Emil L. A variant of a recursively unsolvable problem. Bulletin of the American Mathematical Society, vol. 52 , pp. 264–268. [REVIEW]Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):55-56.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30.  15
    Post Emil L.. Recursive unsolvability of a problem of Thue.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (3):90-91.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  9
    Post Emil L.. Formal reductions of the general combinatorial decision problem. American journal of mathematics, vol. 65 , pp. 197–215. [REVIEW]Alonzo Church - 1943 - Journal of Symbolic Logic 8 (2):50-52.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  26
    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]H. E. Vaughan - 1941 - Journal of Symbolic Logic 6 (3):114-115.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33. Léon Bloy, pensionnaire de maison close.Emile van Balberghe - 2010 - Cahiers Internationaux de Symbolisme 125:241-244.
    No categories
     
    Export citation  
     
    Bookmark  
  34.  6
    Post Emil L.. Note on a conjecture of Skolem.S. C. Kleene - 1947 - Journal of Symbolic Logic 12 (1):28-28.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  35.  9
    Post-holocaust vs. postmodern: Emil Fackenheim's evolving dialogue with christianity.Marc Krell - 2003 - Journal of Jewish Thought and Philosophy 12 (1):69-96.
  36. Leone XIII E la famiglia francescana.Emil Kumka - 2011 - Miscellanea Francescana 111 (1-2):186-207.
    No categories
     
    Export citation  
     
    Bookmark  
  37.  10
    Post Emil L.. Finite combinatory processes—formulation 1.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (1):43-43.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  38.  4
    Post-holocaust vs. postmodern: emil fackenheim's evolving dialogue with christianity.Marc Krell - 2003 - Journal of Jewish Thought and Philosophy 12 (1):69-96.
  39.  22
    The modern paradoxes.Emil L. Post & I. Grattan-Guinness - 1990 - History and Philosophy of Logic 11 (1):85-91.
  40.  33
    Note on a conjecture of Skolem.Emil L. Post - 1946 - Journal of Symbolic Logic 11 (3):73-74.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  41. 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.Stéphan Soulie - 2010 - Corpus: Revue de philosophie 58:129-142.
    No categories
     
    Export citation  
     
    Bookmark  
  42.  19
    La philosophie d'émile Meyerson.Léon Brunschvicg - 1926 - Revue de Métaphysique et de Morale 33 (1):39 - 63.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  43. La philosophie d'Emile Boutroux.Leon Brunschvicg - 1923 - Philosophical Review 32:437.
     
    Export citation  
     
    Bookmark  
  44.  56
    To Mend the World: Foundations of Post-Holocaust Jewish Thought.Emil L. Fackenheim - 1994 - 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  
     
    Export citation  
     
    Bookmark   5 citations  
  45.  15
    La philosophie d'émile boutroux.Léon Brunschvicg - 1922 - Revue de Métaphysique et de Morale 29 (3):261 - 283.
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  14
    L'idéalisme de Léon Brunschvicg.Émile Bréhier - 1946 - Revue Philosophique de la France Et de l'Etranger 136 (1/3):1 - 7.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  17
    The post-metropolis is God: Notes for a phenomenology of the urban spirit.Jorge León Casero & Julia Urabayen - 2021 - Topoi 40 (2):493-502.
    More akin to the Roman Empire’s concept of civitas mobilis augescens, the distinction between the twentieth-century metropolis and the Roman model of a city must be sought in the eminently biopolitical character of the modern-day post-metropolis, conceived by Hardt and Negri as the new hegemonic paradigm of production. As a result, the primacy of time over space has been established as the only possible way of measuring the proximity of productive relationships: everything that can be converted into information is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  45
    Jewish and Post-Christian Interpretations of Hegel: Emil Fackenheim and Henry S. Harris.George di Giovanni - 2009 - 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 (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  21
    The Upper Semi-Lattice of Degrees of Recursive Unsolvability.S. C. Kleene & Emil L. Post - 1956 - Journal of Symbolic Logic 21 (4):407-408.
  50.  5
    Xavier Léon-Dufour, s.j., Résurrection de Jésus et message pascal. Collection « Parole de Dieu », Paris, Éditions du Seuil, 1971, , 392 pages. [REVIEW]Paul-Émile Langevin - 1972 - Laval Théologique et Philosophique 28 (3):305.
1 — 50 / 1000