Results for 'Marian Boykan Pour-El'

1000+ found
Order:
  1. Deduction-preserving ‘Recursive Isomorphisms’ between Theories.Marian Boykan Pour-El & Saul A. Kripke - 1967 - Fundamenta Mathematicae 61:141-163.
     
    Export citation  
     
    Bookmark   3 citations  
  2.  24
    On a simple definition of computable function of a real variable‐with applications to functions of a complex variable.Marian Boykan Pour-El & Jerome Caldwell - 1975 - Mathematical Logic Quarterly 21 (1):1-19.
  3.  27
    Effectively extensible theories.Marian Boykan Pour-El - 1968 - Journal of Symbolic Logic 33 (1):56-68.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4.  5
    Recursively enumerable classes and their application to recursive sequences of formal theories.Marian Boykan Pour-El & Hilary Putnam - 1965 - Archive for Mathematical Logic 8 (3-4):104-121.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  5.  3
    A Comparison of Five “Computable” Operators.Marian Boykan Pour-El - 1960 - Mathematical Logic Quarterly 6 (15‐22):325-340.
  6.  15
    A Comparison of Five “Computable” Operators.Marian Boykan Pour-El - 1960 - Mathematical Logic Quarterly 6 (15-22):325-340.
  7.  2
    A structural criterion for recursive enumeration without repetition.Marian Boykan Pour-El & William A. Howard - 1964 - Mathematical Logic Quarterly 10 (8):105-114.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  8.  22
    A structural criterion for recursive enumeration without repetition.Marian Boykan Pour-El & William A. Howard - 1964 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 10 (8):105-114.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  9.  16
    A Recursion‐theoretic View of Axiomatizable Theories.Marian Boykan Pour-El - 1970 - Dialectica 24 (4):267-276.
  10.  26
    Donald A. Martin. A theorem on hyper hypersimple sets. The journal of symbolic logic, vol. 28 no. 4 , pp. 273–278.Marian Boykan Pour-El - 1966 - Journal of Symbolic Logic 31 (1):139-139.
  11.  32
    Independent Axiomatization and its Relation to the Hypersimple Set.Marian Boykan Pour-El - 1968 - Mathematical Logic Quarterly 14 (25-29):449-456.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  14
    J. S. Ullian. Splinters of recursive functions. The journal of symbolic logic, vol. 25 no. 1 , pp. 33–38.Marian Boykan Pour-El - 1966 - Journal of Symbolic Logic 31 (1):138-139.
  13.  16
    Recursively Enumerable Classes and Their Application to Recursive Sequences of Formal Theories.Marian Boykan Pour-el, Hilary Putnam, William A. Howard & A. H. Lachlan - 1973 - Journal of Symbolic Logic 38 (1):155-156.
  14.  18
    Review: Richard Friedberg, Un Contre-Exemple Relatif aux Fonctionnelles Recursives. [REVIEW]Marian Boykan Pour-El - 1959 - Journal of Symbolic Logic 24 (2):171-171.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  15.  15
    Boone William W.. Partial results regarding word problems and recursively enumerable degrees of unsolvability. Bulletin of the American Mathematical Society, vol. 68 , pp. 616–623. [REVIEW]Marian Boykan Pour-El - 1963 - Journal of Symbolic Logic 28 (4):292-292.
  16.  13
    Friedberg Richard M.. A criterion for completeness of degrees of unsolvability. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (2):165-165.
  17.  14
    Friedberg Richard. The uniqueness of finite division for recursive equivalence types. Mathematische Zeitschrift, vol. 75 , pp. 3–7. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (4):363-363.
  18.  7
    Friedberg Richard. Un contre-exemple relatif aux fonctionnelles récursives. Comptes rendus hebdomadaires des séances de l'Académie des Sciences , vol. 247 , pp. 852–854. [REVIEW]Marian Boykan Pour-El - 1959 - Journal of Symbolic Logic 24 (2):171-171.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  25
    Gerald E. Sacks. On the degrees less than 0′. Annals of mathematics, second series, vol. 77 , pp. 211–231. - Gerald E. Sacks. Correction to “On the degrees less than 0′.”Annals of mathematics, second series, vol. 78 , p. 204. [REVIEW]Marian Boykan Pour-El - 1964 - Journal of Symbolic Logic 29 (1):60.
  20. Review: Donald A. Martin, A Theorem on Hyperhypersimple Sets. [REVIEW]Marian Boykan Pour-El - 1966 - Journal of Symbolic Logic 31 (1):139-139.
  21. Review: Gerald E. Sacks, On the Degrees Less than 0'. [REVIEW]Marian Boykan Pour-El - 1964 - Journal of Symbolic Logic 29 (1):60-60.
  22. Review: J. S. Ullian, Splinters of Recursive Functions. [REVIEW]Marian Boykan Pour-El - 1966 - Journal of Symbolic Logic 31 (1):138-139.
  23.  21
    Raymond M. Smullyan. Theory of formal systems. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 142 pp. - Raymond M. Smullyan. Theory of formal systems. Revised edition. Annals of Mathematics studies, no. 47. Princeton University Press, Princeton1961, xi + 147 pp. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  24.  4
    Review: Richard Friedberg, The Uniqueness of Finite Division for Recursive Equivalence Types. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (4):363-363.
  25.  27
    Review: Raymond M. Smullyan, Theory of Formal Systems. [REVIEW]Marian Boykan Pour-El - 1965 - Journal of Symbolic Logic 30 (1):88-90.
  26.  13
    Review: Richard M. Friedberg, Three Theorems on Recursive Enumeration. I. Decomposition. II. Maximal Set. III. Enumeration Without Duplication. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (2):165-166.
  27.  4
    Review: Richard M. Friedberg, A Criterion for Completeness of Degrees of Unsolvability. [REVIEW]Marian Boykan Pour-El - 1960 - Journal of Symbolic Logic 25 (2):165-165.
  28.  21
    Review: William W. Boone, Partial Results Regarding Word Problems and Recursively Enumerable Degrees of Unsolvability. [REVIEW]Marian Boykan Pour-El - 1963 - Journal of Symbolic Logic 28 (4):292-292.
  29.  32
    The wave equation with computable initial data whose unique solution is nowhere computable.Marian B. Pour-El & Ning Zhong - 1997 - Mathematical Logic Quarterly 43 (4):499-509.
    We give a rough statement of the main result. Let D be a compact subset of ℝ3× ℝ. The propagation u of a wave can be noncomputable in any neighborhood of any point of D even though the initial conditions which determine the wave propagation uniquely are computable. A precise statement of the result appears below.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  30.  22
    Marian Boykan Pour-El and Ian Richards. A computable ordinary differential equation which possesses no computable solution, Annals of mathematical logic, vol. 17 , pp. 61–90. - Marian Boykan Pour-El and Ian Richards. The wave equation with computable initial data such that its unique solution is not computable. Advances in mathematics, vol. 39 , pp. 215–239. [REVIEW]G. Kreisel - 1982 - Journal of Symbolic Logic 47 (4):900-902.
  31.  22
    Review: Marian Boykan Pour-El, Ian Richards, A Computable Ordinary Differential Equation with Possesses no Computable Solution; Marian Boykan Pour-El, Ian Richards, The Wave Equation with Computable Initial Data Such that its Unique Solution is not Computable. [REVIEW]G. Kreisel - 1982 - Journal of Symbolic Logic 47 (4):900-902.
  32.  35
    Marian Boykan Pour-El and Hilary Putnam. Recursively enumerable classes and their application to recursive sequences of formal theories. Archiv für mathematische Logik und Grundlagenforschung, vol. 8 no. 3–4 , pp. 104–121. - Marian Boykan Pour-El and William A. Howard. A structural criterion for recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 10 , pp. 105–114. - A. H. Lachlan. On recursive enumeration without repetition. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 11 , pp. 209–220. - A. H. Lachlan. On recursive enumeration without repetition: a correction. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 13 , pp. 99–100. [REVIEW]James C. Owings - 1973 - Journal of Symbolic Logic 38 (1):155-156.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  33.  34
    Marian Boykan Pour-El. Independent axiomatization and its relation to the hypersimple set. Zeitschrift für mathematische Logik und Grundlagen der Mathematik, vol. 14 , pp. 449–456. [REVIEW]Lawrence Feiner - 1973 - Journal of Symbolic Logic 38 (4):654-655.
  34.  26
    Marian B. Pour-El and J. Ian Richards. Computability in analysis and physics. Perspectives in mathematical logic. Springer-Verlag, Berlin, Heidelberg, New York, etc., 1989, xi + 206 pp. [REVIEW]Oliver Aberth - 1991 - Journal of Symbolic Logic 56 (2):749-750.
  35.  17
    Review: Marian B. Pour-El, J. Ian Richards, Computability in Analysis and Physics. [REVIEW]Oliver Aberth - 1991 - Journal of Symbolic Logic 56 (2):749-750.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  22
    Axiomatizable theories with few axiomatizable extensions.D. A. Martin & M. B. Pour-El - 1970 - Journal of Symbolic Logic 35 (2):205-209.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  37.  40
    Enhancing Reflection: An Interpersonal Exercise in Ethics Education.Marian Verkerk, Hilde Lindemann, Els Maeckelberghe, Enne Feenstra, Rudolph Hartoungh & Menno de Bree - 2004 - Hastings Center Report 34 (6):31-38.
    There are no moral cookbooks—no algorithms for whipping up moral confections to suit every occasion. But more modest and flexible tools might still be useful for practical ethics. One team describes how professionals can be taught to use a framework for understanding moral problems.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  38.  27
    From physics to biology: physicists in the search for systemic biological explanations.Charbel N. El-Hani, Olival Freire Jr & Leyla Mariane Joaquim - 2019 - European Journal for Philosophy of Science 9 (2):1-32.
    This paper offers a contribution to debates around integrative aspects of systems biology and engages with issues related to the circumstances under which physicists look at biological problems. We use oral history as one of the methodological tools to gather the empirical material, conducting interviews with physicists working in systems biology. The interviews were conducted at several institutions in Brazil, Germany, Israel and the U.S. Biological research has been increasingly dependent on computational methods, high-throughput technologies, and multidisciplinary skills. Quantitative scientists (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  27
    A genética em transformação: crise e revisão do conceito de gene.Leyla Mariane Joaquim & Charbel Niño El-Hani - 2010 - Scientiae Studia 8 (1):93-128.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  40.  31
    From physics to biology: physicists in the search for systemic biological explanations.Leyla Mariane Joaquim, Olival Freire Jr & Charbel N. El-Hani - 2019 - European Journal for Philosophy of Science 9 (2):30.
    This paper offers a contribution to debates around integrative aspects of systems biology and engages with issues related to the circumstances under which physicists look at biological problems. We use oral history as one of the methodological tools to gather the empirical material, conducting interviews with physicists working in systems biology. The interviews were conducted at several institutions in Brazil, Germany, Israel and the U.S. Biological research has been increasingly dependent on computational methods, high-throughput technologies, and multidisciplinary skills. Quantitative scientists (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41.  16
    From physics to biology: physicists in the search for systemic biological explanations.Leyla Mariane Joaquim, Olival Freire Jr & Charbel N. El-Hani - 2019 - European Journal for Philosophy of Science 9 (2):1-32.
    This paper offers a contribution to debates around integrative aspects of systems biology and engages with issues related to the circumstances under which physicists look at biological problems. We use oral history as one of the methodological tools to gather the empirical material, conducting interviews with physicists working in systems biology. The interviews were conducted at several institutions in Brazil, Germany, Israel and the U.S. Biological research has been increasingly dependent on computational methods, high-throughput technologies, and multidisciplinary skills. Quantitative scientists (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  34
    Conceptual Variation or Incoherence? Textbook Discourse on Genes in Six Countries.Niklas M. Gericke, Mariana Hagberg, Vanessa Carvalho dos Santos, Leyla Mariane Joaquim & Charbel N. El-Hani - 2014 - Science & Education 23 (2):381-416.
  43.  5
    El discurso antifeminista en el tiempo de la posverdad.Marian Pérez Bernal - 2022 - Dilemata 38:147-162.
    While there has always been discourse seeking to discredit feminism and its proposals using false arguments, as the movement has gained ground, the effort to discredit it has increased. Based on cases reported by the media websites Maldita.es, in its section Maldito Feminism, Newtral.es and Efe Verifica, we point out the important presence of anti-feminist content in the disinformation present in social media. We analyse the underlying ideology and the reasons why this discourse is particularly damaging to the feminist movement (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  8
    "Εγγυος παραμουη̃ς.Marian San Nicolò - 1929 - Byzantinische Zeitschrift 30 (1).
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Saint Thomas d'Aquin, pour le septième centenaire de sa mort: essais d'actualisation de sa philosophie = Saint Thomas Aquinas, 700th anniversary of his death: modern interpretation of his philosophy.Stanisław Kamiński, Marian Kurdziałek & Zofia Józefa Zdybicka (eds.) - 1976 - Lublin: TNKUL.
  46.  27
    Diferencias en los niveles de motivación por sexo, curso y tipo de centro educativo en el aprendizaje estratégico de la lengua extranjera.Marián De la Morena Taboada, Adolfo Sánchez Burón & M. Poveda Fernández Martín - 2011 - Arbor 187 (Extra_3):225-230.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47.  21
    Tamzali, Wassyla: Carta de una mujer indignada desde el Magreb a Europa.Marian Pérez Bernal - 2012 - Daimon: Revista Internacional de Filosofía 55:206-208.
    Reseña de la obra Carta de una mujer indignada desde el Magreb a Europa de Wassyla Tamzali (Cátedra 2011)).
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48.  21
    La vaisselle en faïence du musée gréco-romain d'Alexandrie.Mervat Seif El-Din & Marie-Dominique Nenna - 1993 - Bulletin de Correspondance Hellénique 117 (2):565-602.
    La riche collection d'objets en faïence du musée gréco-romain d'Alexandrie, dont nous préparons la publication complète, comprend plus de mille trois cents pièces découvertes, pour la majeure partie d'entre elles, à Alexandrie ou dans sa région. Nous présentons ici un tableau de la vaisselle ptolémaïque et romaine en insistant plus particulièrement sur les procédés de fabrication et la typologie de ces objets et offrons un état de la question sur la localisation des ateliers et le commerce de cette vaisselle.
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  49.  83
    Post-avicennan logicians on the subject matter of logic: Some thirteenth- and fourteenth-century discussions.Khaled El-Rouayheb - 2012 - Arabic Sciences and Philosophy 22 (1):69-90.
    In the thirteenth century, the influential logician Afḍal al-Dīn al-Khūnajī departed from the Avicennan view that the subject matter of logic is “second intentions”. For al-Khūnajī, the subject matter of logic is “the objects of conception and assent”. His departure elicited intense and sometimes abstruse discussions in the course of subsequent centuries. Prominent supporters of Khūnajī's view on the subject matter of logic included Kātibī, Ibn Wāṣil and Taftāzānī. Defenders of Avicenna's view included Ṭūsī, Samarqandī and Quṭb al-Dīn al-Rāzī. This (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  11
    La division et l'unité du politique de Platon.Dimitri El Murr - 2005 - Les Etudes Philosophiques 3 (3):295-324.
    Encadrant le Sophiste, le Théétète et le Politique, pris tous les deux ensemble, soulèvent des questions et suggèrent des réponses quant à la double relation entre le philosophe et le politique, d’une part, et entre Socrate et l’Étranger d’Élée, d’autre part. Je montre ici que certains aspects de la Digression du Théétète sur la nature des philosophes servent à critiquer les questions que pose LaRépublique ainsi que les réponses qu’elle donne sur la philosophie et la politique . Cette critique prépare (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
1 — 50 / 1000