Results for 'de-churching '

971 found
Order:
  1. Introduction to mathematical logic.Alonso Church - 1958 - Revue de Métaphysique et de Morale 63 (1):118-118.
    No categories
     
    Export citation  
     
    Bookmark   169 citations  
  2.  12
    On the Syllogism and other Logical Writings by Augustus de Morgan.Alonzo Church - 1976 - Journal of Symbolic Logic 41 (2):546-547.
  3.  5
    Al encuentro de Dios: filosofía de la religión.Jaime Vâelez Correa & Catholic Church - 1989 - Bogotá: CELAM.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  4.  11
    Bemerkungen zur Geschichte der De Morgansche Gesetze in der Scholastik.Alonzo Church - 1952 - Journal of Symbolic Logic 17 (2):123-124.
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  8
    Les Étapes des Mathématiques.Alonzo Church - 1949 - Journal of Symbolic Logic 14 (2):126-126.
    Direct download  
     
    Export citation  
     
    Bookmark  
  6.  5
    Psychologie du Point de vue Empirique.Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):56-57.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Introduction to mathematical logic, vol. I.A. Church - 1958 - Revue Philosophique de la France Et de l'Etranger 148:118-119.
     
    Export citation  
     
    Bookmark   25 citations  
  8.  8
    The Intermediate Neutrino Program.C. Adams, Alonso Jr, A. M. Ankowski, J. A. Asaadi, J. Ashenfelter, S. N. Axani, K. Babu, C. Backhouse, H. R. Band, P. S. Barbeau, N. Barros, A. Bernstein, M. Betancourt, M. Bishai, E. Blucher, J. Bouffard, N. Bowden, S. Brice, C. Bryan, L. Camilleri, J. Cao, J. Carlson, R. E. Carr, A. Chatterjee, M. Chen, S. Chen, M. Chiu, E. D. Church, J. I. Collar, G. Collin, J. M. Conrad, M. R. Convery, R. L. Cooper, D. Cowen, H. Davoudiasl, A. De Gouvea, D. J. Dean, G. Deichert, F. Descamps, T. DeYoung, M. V. Diwan, Z. Djurcic, M. J. Dolinski, J. Dolph, B. Donnelly, S. da DwyerDytman, Y. Efremenko, L. L. Everett, A. Fava, E. Figueroa-Feliciano, B. Fleming, A. Friedland, B. K. Fujikawa, T. K. Gaisser, M. Galeazzi, D. C. Galehouse, A. Galindo-Uribarri, G. T. Garvey, S. Gautam, K. E. Gilje, M. Gonzalez-Garcia, M. C. Goodman, H. Gordon, E. Gramellini, M. P. Green, A. Guglielmi, R. W. Hackenburg, A. Hackenburg, F. Halzen, K. Han, S. Hans, D. Harris, K. M. Heeger, M. Herman, R. Hill, A. Holin, P. Huber, R. A. de JaffeJohnson, J. Joshi, G. Karagiorgi, L. J. Kaufman, B. Kayser & S. H. Kettell - unknown
    The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9. Una observación respecto de la paradoja de Quine sobre la modalidad.Alonzo Church - 1982 - Análisis Filosófico 2:25.
    No categories
     
    Export citation  
     
    Bookmark   5 citations  
  10. Etienne de Villiers.Afrikaans Churches - 1996 - In H. Russel Botman & Robin M. Petersen (eds.), To Remember and to Heal: Theological and Psychological Reflections on Truth and Reconciliation. Thorold's Africana Books [Distributor]. pp. 140.
    No categories
     
    Export citation  
     
    Bookmark  
  11.  3
    Wandlungen des Mathematischen Denkens. Eine Einführung in die Grundlagenprobleme der Mathematik.Alonzo Church - 1966 - Journal of Symbolic Logic 31 (1):111-111.
    Direct download  
     
    Export citation  
     
    Bookmark  
  12. Malebranche and Hume.R. W. Church - 1938 - Revue Internationale de Philosophie 1 (1):143-161.
  13.  7
    De Cesare Elías A.. Evolución de la lógica. Revista de ciencias económicas, December 1941. Offprint, pp. 1–8.Alonzo Church - 1942 - Journal of Symbolic Logic 7 (4):174-174.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  8
    De Morgan, Augustus.Alonzo Church & G. L. Farre - 1975 - Journal of Symbolic Logic 40 (4):596.
  15.  12
    Bocheński I. M.. De consequentiis scholasticorum earumque origine. Angelicum , vol. 15 , pp. 1–18.Alonzo Church - 1938 - Journal of Symbolic Logic 3 (1):45-46.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  15
    Germansky B.. Axiomes des nombres naturels. Intermédiate des recherches mathématiques, vol. 2 , pp. 121–122.Alonzo Church - 1947 - Journal of Symbolic Logic 12 (2):58-58.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17.  4
    Heyting A.. De onlwikkeling van de intuitionistische wiskunde . Euclides, vol. 13 , pp. 129–144.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (2):89-89.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  3
    A Study in the Philosophy of Malebranche.Ralph Withington Church - 1931 - Revue de Métaphysique et de Morale 39 (3):11-11.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  15
    Blanché Robert. Logique 1900–1950. Revue philosophique de la France et de l'Étranger, vol. 143 , pp. 570–598.Alonzo Church - 1954 - Journal of Symbolic Logic 19 (3):235-235.
  20.  10
    Heyting A.. La conception intuitionniste de la logique. Les études philosophiques, n.s. vol. 11 , pp. 226–233.Alonzo Church - 1958 - Journal of Symbolic Logic 23 (3):344-345.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  19
    Novoa L. Gutiérrez. La ley de dualidad de los conjuntos de puntos. Boletín matemático, vol. 12 , pp. 198–201.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (1):36-37.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22.  5
    Pando José Encinas del. La lógica de Bertrand Russell. Universidad de Antioquia, no. 37 , pp. 85–104.Alonzo Church - 1943 - Journal of Symbolic Logic 8 (2):50-50.
  23.  12
    van der Poel W. L.. Enige bijzondere onderwerpen uit de schakelalgebra . De ingenieur , vol. 67 no. 1 , pp. E.9–E.14.Alonzo Church - 1959 - Journal of Symbolic Logic 24 (1):78-78.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24. Felt Beauties and their Evaluation.Rw Church - 1949 - Revue Internationale de Philosophie 3 (7):42.
    No categories
     
    Export citation  
     
    Bookmark  
  25.  4
    Anonymous. Problemas de “Theoria.” Problema n.° I. Theoria , vol. 1 no. 1 , p. 7.Alonzo Church - 1955 - Journal of Symbolic Logic 20 (3):304-304.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  4
    Beth Evert. De paradoxen . Algemeen Nederlands tijdschrift voor wijsbegeerte en psychologie, vol. 32 , pp. 193–208.Alonzo Church - 1939 - Journal of Symbolic Logic 4 (3):125-125.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27.  8
    Chwistek Leon. Überwindung des Begriffsrealismus. Studia philosphica, vol. 2 pp. 1–18.Alonzo Church - 1937 - Journal of Symbolic Logic 2 (4):168-170.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  28.  23
    The future of man.Pierre Teilhard de Chardin - 1969 - New York,: Image Books/Doubleday.
    The Future of Man is a magnificent introduction to the thoughts and writings of Pierre Teilhard de Chardin, one of the few figures in the history of the Catholic Church to achieve renown as both a scientist and a theologian. Trained as a paleontologist and ordained as a Jesuit priest, Teilhard de Chardin devoted himself to establishing the intimate, interdependent connection between science—particularly the theory of evolution—and the basic tenets of the Christian faith. At the center of his philosophy was (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  29.  5
    Bauer F. L.. Zur Algebraik des Logikkalküls. Methodos, vol. 1 , pp. 288–292.Alonzo Church - 1951 - Journal of Symbolic Logic 16 (1):62-62.
  30.  16
    Cartan Henri. Sur le fondement logique des mathématiques. La revue scientifique, vol. 81 , pp. 3–11.Alonzo Church - 1946 - Journal of Symbolic Logic 11 (3):91-92.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  31.  16
    Cavaillès Jean. Mathématiques et formalisme. Revue internationale de philosophie , vol. 3 , pp. 158–165.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (2):143-144.
  32.  24
    An Interpretation of Nietzsche's On the Uses and Disadvantage of History for Life by Anthony K. Jensen.Jeffrey Church - 2019 - Journal of Nietzsche Studies 50 (2):332-335.
    The second of Nietzsche's UM, "On the Uses and Disadvantage of History for Life", is one of his most celebrated and influential works, profoundly shaping the work of Continental theorists such as Martin Heidegger, Michel Foucault, and Paul de Man. For all the immense attention paid to this little text, philosophers and scholars have focused mainly on Nietzsche's reflections on culture, overlooking the text's epistemological concerns. Jensen's commentary rectifies this omission and succeeds admirably not only in analyzing the often cryptic (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  9
    Review: Octavian C. Basca, La Synthese des automates finis par la methode de A. Church. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):625-626.
  34.  7
    Bolzano, Bernhard.Alonzo Church & T. A. K. Kloyda - 1975 - Journal of Symbolic Logic 40 (4):596.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35.  21
    Finsler P.. Das Kontinuumproblem. Elemente der Mathematik , vol. 5 , pp. 63–65.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (3):230-230.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  36.  9
    Finsler Paul. Gibt es unentscheidbare Sätzei Commentarii mathematici Helvetici, vol. 16 no. 4 , pp. 310–320.Alonzo Church - 1946 - Journal of Symbolic Logic 11 (4):131-132.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  37.  3
    Gentzen Gerhard. Die Widers pruchsfreiheilder Stufenlogik. Mathematische Zeitschrift, vol. 41 , pp. 357–366.Alonzo Church - 1936 - Journal of Symbolic Logic 1 (3):119-119.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  7
    Martin Gottfried. Über ein zweiwertiges Modell einer vierwertigen Logik. Methodos, vol. 1 , pp. 386–389.Alonzo Church - 1951 - Journal of Symbolic Logic 16 (2):150-150.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39.  6
    Paul Lorenzen. Die Allgemeingültigkeit der logischen Regeln. Studium generale, vol. 6 , pp. 605–609.Alonzo Church - 1965 - Journal of Symbolic Logic 30 (1):104.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  40.  19
    Alfred Tarski. The completeness of elementary algebra and geometry. Centre National de la Recherche Scientifique, Institut Blaise Pascal, Paris1967, iv + 50 pp. [REVIEW]Alonzo Church - 1969 - Journal of Symbolic Logic 34 (2):302-302.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  41.  24
    A proof of the inconsistency of Quine's system "Mathematical Logic ".Alonzo Church - 1955 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 3 (1):135-136.
  42.  7
    Special Cases of the Decision Problem.Alonzo Church - 1951 - Revue Philosophique De Louvain 49 (22):203-221.
  43.  18
    Saarnio Uuno. Über die Konverse der Relation. Ajatus , vol. 15 , pp. 167–176.Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):62-62.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  44.  16
    Review: Augustus de Morgan, On the Syllogism and other Logical Writings by Augustus de Morgan. [REVIEW]Alonzo Church - 1976 - Journal of Symbolic Logic 41 (2):546-547.
  45.  59
    Explication as a Three-Step Procedure: the case of the Church-Turing Thesis.Matteo De Benedetto - 2021 - European Journal for Philosophy of Science 11 (1):1-28.
    In recent years two different axiomatic characterizations of the intuitive concept of effective calculability have been proposed, one by Sieg and the other by Dershowitz and Gurevich. Analyzing them from the perspective of Carnapian explication, I argue that these two characterizations explicate the intuitive notion of effective calculability in two different ways. I will trace back these two ways to Turing’s and Kolmogorov’s informal analyses of the intuitive notion of calculability and to their respective outputs: the notion of computorability and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  46.  18
    Urban social movements in South Africa today: Its meaning for theological education and the church.Stephan F. De Beer - 2017 - HTS Theological Studies 73 (3).
    In the past decade, significant social movements emerged in South Africa, in response to specific urban challenges of injustice or exclusion. This article will interrogate the meaning of such urban social movements for theological education and the church. Departing from a firm conviction that such movements are irruptions of the poor, in the way described by Gustavo Gutierrez and others, and that movements of liberation residing with, or in a commitment to, the poor, should be the locus of our theological (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  47.  26
    Octavian C. B'sc'. La synthèse des automates finis par la méthode de A. Church. Logique, automatique, informatique, edited by Gr. C. Moisil, Éditions de l'Académie de la République Socialiste de Roumanie, Bucharest1971, pp. 209–213. [REVIEW]Alonzo Church - 1972 - Journal of Symbolic Logic 37 (3):625-626.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  48.  22
    Review: L. Gutierrez Novoa, La Ley de Dualidad de los Conjuntos de Puntos. [REVIEW]Alonzo Church - 1940 - Journal of Symbolic Logic 5 (1):36-37.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  49.  7
    Review: G. L. Farre, De Morgan, Augustus. [REVIEW]Alonzo Church - 1975 - Journal of Symbolic Logic 40 (4):596-596.
  50.  10
    Review: Teodoro Sanchez de Bustamante, El Infinito. [REVIEW]Alonzo Church - 1942 - Journal of Symbolic Logic 7 (4):174-174.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 971