Results for 'Manuel Kretz'

992 found
Order:
  1. Die longue durée in der historischen Bildungsforschung unter Einbezug ökonomischer Perspektiven.Manuel Kretz - 2013 - In Tamara Deluigi (ed.), Sakralität, Demokratie und Erziehung: Auseinandersetzungen mit der historischen Pädagogik Fritz Osterwalders. Zürich: Lit.
     
    Export citation  
     
    Bookmark  
  2. Building better beings: a theory of moral responsibility.Manuel Vargas - 2013 - Oxford: Oxford University Press.
    Part I: Building blocks. 1. Folk convictions -- 2. Doubts about libertarianism -- 3. Nihilism and revisionism -- 4. Building a better theory -- Part II. A theory of moral responsibility. 5. The primacy of reasons -- 6. Justifying the practice -- 7. Responsible agency -- 8. Blame and desert -- 9. History and manipulation --10. Some conclusions.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   162 citations  
  3. Broad-Spectrum Conceptual Engineering.Manuel Gustavo Https://Orcidorg Isaac - 2021 - Ratio: An International Journal for Analytic Philosophy 34 (4):286-302.
    Conceptual engineering is the method for assessing and improving our representational devices. On its ‘broad-spectrum’ version, it is expected to be appropriately applicable to any of our representation-involving cognitive activities, with major consequences for our whole cognitive life. This paper is about the theoretical foundations of conceptual engineering thus characterised. With a view to ensuring the actionability of conceptual engineering as a broad-spectrum method, it addresses the issue of how best to construe the subject matter of conceptual engineering and successively (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  4. Human Dignity as High Moral Status.Manuel Toscano - 2011 - Les ateliers de l'éthique/The Ethics Forum 6 (2):4-25.
    In this paper I argue that the idea of human dignity has a precise and philosophically relevant sense. Following recent works,we can find some important clues in the long history of the term.Traditionally, dignity conveys the idea of a high and honourable position in a hierarchical order, either in society or in nature. At first glance, nothing may seem more contrary to the contemporary conception of human dignity, especially in regard to human rights.However,an account of dignity as high rank provides (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  5.  36
    Teaching Energy Informed by the History and Epistemology of the Concept with Implications for Teacher Education.Manuel Bächtold & Muriel Guedj - 2014 - In Michael R. Matthews (ed.), International Handbook of Research in History, Philosophy and Science Teaching. Springer. pp. 211-243.
    In this article, we put forward a new strategy for teaching the concept of energy. In the first section, we discuss how the concept is currently treated in educational programmes at primary and secondary level (taking the case of France), the learning difficulties that arise as well as the main teaching strategies presented in science education literature. In the second section, we argue that due to the complexity of the concept of energy, rethinking how it is taught should involve teacher (...)
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  6.  46
    El concepto de pena natural en la doctrina y la jurisprudencia penal.Manuel Francisco Serrano - 2023 - Bernal: Universidad Nacional de Quilmes.
    La pena natural es una situación paradójica que se puede presentar cuando el autor de un delito, al cometerlo o a causa de éste, ha sufrido un daño igual o mayor al que padecería si el juez de la causa le aplicara la pena estatal prevista para tal conducta. Se da con frecuencia al juzgar ciertos accidentes viales, cuando el acusado ya carga el peso de ser quien, por imprudencia, mató a su pareja o familiar cercano, por ejemplo. Pero ¿en (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  7.  29
    Five Formulations of the Quantum Measurement Problem in the Frame of the Standard Interpretation.Manuel Bächtold - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (1):17-33.
    The aim of this paper is to give a systematic account of the so-called “measurement problem” in the frame of the standard interpretation of quantum mechanics. It is argued that there is not one but five distinct formulations of this problem. Each of them depends on what is assumed to be a “satisfactory” description of the measurement process in the frame of the standard interpretation. Moreover, the paper points out that each of these formulations refers not to a unique problem, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  8.  18
    Degrees which do not bound minimal degrees.Manuel Lerman - 1986 - Annals of Pure and Applied Logic 30 (3):249-276.
  9.  58
    A Scotist Nonetheless? George Berkeley, Cajetan, and the Problem of Divine Attributes.Manuel Fasko - 2019 - Ruch Filozoficzny 74 (4):33.
    The problem of divine attributes was one of the most intensely debated topics in the 17-18th century Irish philosophy. Simply put, the problem revolves around the ontological question (i) whether human and divine attributes differ in degree or in kind, and the semantical (ii) how we ought to describe these divine attributes by means of our human language. While there was a consensus that analogies play a key role in solving the semantical problem there was a controversy about the kind (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10. Interpreting Quantum Mechanics according to a Pragmatist Approach.Manuel Bächtold - 2008 - Foundations of Physics 38 (9):843-868.
    The aim of this paper is to show that quantum mechanics can be interpreted according to a pragmatist approach. The latter consists, first, in giving a pragmatic definition to each term used in microphysics, second, in making explicit the functions any theory must fulfil so as to ensure the success of the research activity in microphysics, and third, in showing that quantum mechanics is the only theory which fulfils exactly these functions.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  22
    Facilitated detection of angry faces: Initial orienting and processing efficiency.Manuel G. Calvo, Pedro Avero & Daniel Lundqvist - 2006 - Cognition and Emotion 20 (6):785-811.
  12. Saving Mach’s View on Atoms.Manuel Bächtold - 2010 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 41 (1):1 - 19.
    According to a common belief concerning the Mach-Boltzmann debate on atoms, the new experiments performed in microphysics at the turn of the 19th and 20th centuries confirmed Boltzmann's atomic hypothesis and disproved Mach's anti-atomic view. This paper intends to show that this belief is partially unjustified. Mach's view on atoms consists in fact of different kinds of arguments. While the new experiments in microphysics refute indeed his scientific arguments against the atomic hypothesis, his epistemological arguments are unaffected. In this regard, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13.  60
    Contingentism about Individuals and Higher-Order Necessitism.Manuel Pérez Otero - 2013 - Theoria 28 (3):393-406.
    Necessitism about individuals claims that necessarily every individual necessarily exists. An analogous necessitist thesis attributes necessary existence to properties and relations. Both theses have been defended by Williamson. Furthermore, Williamson specifically argues against the hybrid conjunction of first-order contingentism and higher-order necessitism; a combination that would bring about additional drawbacks. I work out a defence of the hybrid combination, including some replies to Williamson’s additional objections. Considerations of ontological parsimony and pre-theoretical intuitions favour the hybrid view over necessitism at all (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  14. Nietzsche on Mind and Nature.Manuel Dries & P. J. E. Kail (eds.) - 2015 - New York, NY, United States of America: Oxford University Press UK.
    This volume presents new essays exploring important aspects of Nietzsche's philosophy in connection with two major themes: mind and nature. A team of leading experts address questions including: What is Nietzsche's conception of mind? How does mind relate with the nature? And what is Nietzsche's conception of nature? They all express the thought that Nietzsche's views on these matters are of great philosophical value, either because those views are consonant with contemporary thinking to a greater or lesser extent or because (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  22
    Human Observers and Automated Assessment of Dynamic Emotional Facial Expressions: KDEF-dyn Database Validation.Manuel G. Calvo, Andrés Fernández-Martín, Guillermo Recio & Daniel Lundqvist - 2018 - Frontiers in Psychology 9.
  16.  13
    The prophets of Paris.Frank Edward Manuel - 1962 - Cambridge,: Harvard University Press.
    Turgot, Baron de l'Aulne: The future of mind.--Marquis de Condorcet: The taming of the future.--Comte de Saint-Simon: The pear is ripe.--Children of Saint-Simon: The triumph of love.--Charles Fourier: The burgeoning of instinct.--Auguste Comte: Embodiment in the great being.
    Direct download  
     
    Export citation  
     
    Bookmark   10 citations  
  17.  31
    Time and Indexicality in Buridan’s Concept of Logical Consequence.Manuel A. Dahlquist - 2021 - History and Philosophy of Logic 42 (4):374-397.
    Jean Buridan developed his theory of consequence within a semantical framework compatible with what we now call token-based semantics. In his Treatise on Consequences and Sophismata, Buridan showed...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18.  17
    Smart Socio-Technical Environments: a Paternalistic and Humanistic Management Proposal.Manuel Carabantes - 2021 - Philosophy and Technology 34 (4):1531-1544.
    One of the great dangers of our time is that the cumulative long-term action of smart socio-technical environments engineered to control thought and behavior results in an excessive loss of freedom. In response to this challenge, that we shall call humanity’s socio-technical dilemma, we outline here some fundamental ideas of a political program to control these environments, which is similar to the one proposed by Brett Frischmann and Evan Selinger. It is similar insofar as we share their paternalistic and humanistic (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  19.  23
    Cervantes and the Mystery of Lawlessness: A Study of "El casamiento enganoso y El coloquio de los perros" (review).Manuel A. Esteban - 1985 - Philosophy and Literature 9 (2):261-263.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  20. The Feeling of Doing – Nietzsche on Agent Causation.Manuel Dries - 2013 - Nietzscheforschung 20 (1):235-247.
    This article examines Nietzsche’s analysis of the phenomenology of agent causation. Sense of agent causation, our sense of self-efficacy, is tenacious because it originates, according to Nietzsche’s hypothesis, in the embodied and situated experience of effort in overcoming resistances. It arises at the level of the organism and is sustained by higher-order cognitive functions. Based on this hypothesis, Nietzsche regards the sense of self as emerging from a homeostatic system of drives and affects that unify such as to maintain self-efficacy (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  21.  24
    Saving Mach’s View on Atoms.Manuel Bächtold - 2010 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 41 (1):1-19.
    According to a common belief concerning the Mach-Boltzmann debate on atoms, the new experiments performed in microphysics at the turn of the 19th and 20th centuries confirmed Boltzmann’s atomic hypothesis and disproved Mach’s anti-atomic view. This paper intends to show that this belief is partially unjustified. Mach’s view on atoms consists in fact of different kinds of arguments. While the new experiments in microphysics refute indeed his scientific arguments against the atomic hypothesis, his epistemological arguments are unaffected. In this regard, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  23
    The Great Forgotten Issue: Vindicating Ethics in the European Qualifications Framework.Manuel Guillén, Joan Fontrodona & Alfredo Rodríguez-Sedano - 2007 - Journal of Business Ethics 74 (4):409-423.
    Various international authorities have insisted on the importance of ethical learning in higher education for would-be professionals, including students of Business Administration. As the process of creating the European Higher Education Area gathers pace, first steps have been taken to explicitly incorporate ethics in the common European Qualifications Framework. However, the authors of this study show how in the course of the EQF development process, the consideration given to ethical qualifications has been curtailed and subjected to serious limitations. In this (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  23.  23
    Shapes of philosophical history.Frank Edward Manuel - 1965 - Stanford, Calif.,: Stanford University Press.
    Though the geographic dimensions of philosophical history were always, in principle at least, the whole globe, for the last two thousand years the ...
    Direct download  
     
    Export citation  
     
    Bookmark   6 citations  
  24.  17
    Are all measurement outcomes “classical”?Manuel Bächtold - 2008 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 39 (3):620-633.
  25.  25
    Axiomatización, demostración y análisis en Acerca del Cielo.Manuel Berrón - 2012 - Signos Filosóficos 14 (27):9-42.
    Examino Acerca del cielo (De caelo) I 2 con el fin de mostrar allí la presencia de la demostración científica. Este desarrollo pretende aportar nueva evidencia en favor de la no discrepancia entre teoría y praxis científica en Aristóteles (Barnes, 1969) y de relativizar la interpretación de que el método real y únicamente usado es la dialéctica (cuyo antecedente se remonta a Owen, 1980). Además, siguiendo la propuesta hermenéutica de Gotthelf (1987) y Detel (1993 y 1997), mostraré de qué modo (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  26.  17
    Ideals of Generalized Finite Sets in Lattices of α‐Recursively Enumerable Sets.Manuel Lerman - 1976 - Mathematical Logic Quarterly 22 (1):347-352.
  27.  29
    Ideals of Generalized Finite Sets in Lattices of α-Recursively Enumerable Sets.Manuel Lerman - 1976 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 22 (1):347-352.
  28.  27
    Types of simple α-recursively enumerable sets.Manuel Lerman - 1976 - Journal of Symbolic Logic 41 (2):419-426.
  29.  28
    Theories with recursive models.Manuel Lerman & James H. Schmerl - 1979 - Journal of Symbolic Logic 44 (1):59-76.
  30. Hilary Putnam y la tercera vía del realismo natural.Manuel Liz - 1999 - Universitas Philosophica 32:61-90.
     
    Export citation  
     
    Bookmark   3 citations  
  31. Lendas dos Revoltosos.Manuel Domingos - 1996 - Princípios 40:60.
    No categories
     
    Export citation  
     
    Bookmark  
  32.  13
    On the Logic of Values.Manuel Dries - 2010 - Journal of Nietzsche Studies 39 (1):30-50.
    This article argues that Nietzsche’s transvaluation project refers not to a mere inversion or negation of a set of nihilism-prone, Judeo-Christian values but, instead, to a different conception of what a value is and how it functions. Traditional values function within a standard logical framework and claim legitimacy and “bindingness” based on exogenous authority with absolute extension. Nietzsche regards this framework as unnecessarily reductive in its attempted exclusion of contradiction and real opposition among competing values. I propose a nonstandard, dialetheic (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33.  38
    Free‐decomposability in varieties of semi‐Heyting algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
    In this paper we prove that the free algebras in a subvariety equation image of the variety equation image of semi-Heyting algebras are directly decomposable if and only if equation image satisfies the Stone identity.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  8
    Principios y conclusiones en una axiomatización de la astronomía de Acerca del cielo I de Aristóteles.Manuel Berrón - 2014 - Tópicos 28:1-29.
    En Acerca del cielo I se encuentran cuatro pruebas fundamentales de la cosmología aristotélica, a saber: la prueba de la existencia del éter, la prueba de la finitud del universo, la prueba de su unicidad y la prueba de su ingenerabilidad e incorruptibilidad. Ofrecemos una reconstrucción parcial del conjunto de estas cuatro pruebas para poner en evidencia que ellas utilizan un grupo semejante de premisas y definiciones. En efecto, nuestro propósito es mostrar que dicho conjunto de pruebas utiliza los mismos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35.  24
    Deep Disagreements on Social and Political Justice: Their Meta-Ethical Relevance and the Need for a New Research Perspective.Manuel Knoll - 2018 - In Manuel Knoll, Stephen Snyder & Nurdane Şimşek (eds.), New Perspectives on Distributive Justice: Deep Disagreements, Pluralism, and the Problem of Consensus. Berlin, Germany: De Gruyter. pp. 23-52.
    This article starts off with a historical section showing that deep disagreements among notions of social and political justice are a characteristic feature of the history of political thought. Since no agreement or consensus on distributive justice is possible, the article argues that political philosophers should – instead of continuously proposing new normative theories of justice – focus on analyzing the reasons, significance, and consequences of such kinds of disagreements. The next two sections are analytical. The first sketches five possible (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  6
    Neorrepublicanismo y virtudes cívicas. La necesidad de una ética ciudadana.Manuel M.ª Urrutia León - 2024 - Pensamiento 79 (304):1203-1224.
    Uno de los acontecimientos teóricos más importantes, ocurridos en la filosofía política de las últimas décadas, es la reformulación del paradigma republicano. Este neorrepublicanismo pretende hacer frente a la profunda crisis de la democracia liberal (corrupción, insolidaridad, apatía ciudadana, etc.), en nuestra época de predominio neoliberal. En el presente artículo desarrollo principalmente su visión de la ética ciudadana; es decir, la importante idea de que la república necesita formular un cierto bien común y promover la virtud cívica de sus ciudadanos, (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  37.  17
    El mundo físico y el mundo. Otros fisicalismos también son posibles.Manuel Liz - 2007 - In David P. Chico & Moisés Barroso Ramos (eds.), Pluralidad de la filosofía analítica. México: Plaza y Valdés Editores. pp. 3--95.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  26
    Le Moi comme un objet intentionnel. Une sémantique de «je» sans engagement ontologique: Dialogue.Manuel Rebuschi - 2012 - Dialogue 51 (2):187-210.
    RÉSUMÉ : Les attitudes de se sont généralement considérées comme constituant une classe particulière d’attitudes de re. Cet article propose une analyse différente, qui s’appuie sur la notion d’attitude de objecto et qui évite un engagement ontologique envers le sujet. La proposition élabore l’idée de Hintikka d’une logique épistémique dite de seconde génération, qui introduit un marqueur syntaxique permettant d’exprimer des relations d’indépendance entre certaines constantes logiques. De cette sémantique résulte une conception du Moi, dénotation de «je», comme un objet (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  39. Bohr (1885-1962): Bohr, Whitehead, and the Interpretation of Quantum Mechanics.Manuel Bächtold - 2008 - In Michel Weber and Will Desmond (ed.), Handbook of Whiteheadian Process Thought. De Gruyter. pp. 353--361.
     
    Export citation  
     
    Bookmark  
  40. Desafíos pedagógicos de la escuela virtual: las TIC y los nuevos paradigmas educativos.Manuel Benito - 2009 - Telos: Cuadernos de Comunicación E Innovación 78:63-77.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  34
    Claves para una lectura alternativa de la axiomática en Aristóteles. El caso de Acerca del cielo I.Manuel Berrón - 2015 - Ideas Y Valores 64 (159):7-32.
    La noción estándar de axiomática que se atribuye a Aristóteles supone un conjunto de proposiciones básicas a partir del cual se infiere un conjunto numéricamente mayor de proposiciones derivadas. Esto se conoce como parsimonia de los principios. Además, el conocimiento de los principios se reduce a una captación intelectual directa. Se pretende mostrar que tales atribuciones no son correctas para el caso de _Acerca del cielo _I. Se brindan elementos para una alternativa de lo que puede entenderse por axiomatización en (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  42.  8
    Richards on Belief.Manuel I. A. Bilsky - 1951 - Philosophy and Phenomenological Research 12:105.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  43. The Aesthetic Theory of I. A. Richards.Manuel Bilsky - 1951 - Dissertation, University of Michigan
     
    Export citation  
     
    Bookmark  
  44.  34
    Truth, belief, and the value of art.Manuel Bilsky - 1955 - Philosophy and Phenomenological Research 16 (4):488-495.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  15
    Ramón Valdivia Giménez, Bartolomé de Las Casas, Fundación Enmanuel Mounier. Col. Sinergia, Madrid, 2012 (129 páginas).Manuel Leal Lobón - 2023 - Isidorianum 22 (43):297-300.
    En la conquista, colonización y evangelización de las Indias se dio una estrecha colaboración y alianza Iglesia-Estado, amalgama que reforzaba a ambas instituciones, aunque siempre bajo el control estatal, supervisada y coordinada por el Consejo de Indias. Las relaciones Iglesia-Estado en América pasaron por diversas modalidades: Patronato, Vicariato y Regalismo. En el siglo XVI rige el Patronato, basado en las concesiones Pontificias que ponía en manos de la Corona española el ‘cuidado’ sobre la Iglesia americana. Desde fines del XVI, religiosos (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46.  20
    Congruence relations, filters, ideals, and definability in lattices of α-recursively enumerable sets.Manuel Lerman - 1976 - Journal of Symbolic Logic 41 (2):405-418.
  47.  43
    L'espace dans ses dimensions transcendantale et pragmatiste.Manuel Bächtold - 2011 - Kant Studien 102 (2):145-167.
    This article examines the Kantian thesis of the a priori nature of our knowledge of space. Because it makes the representation of objects possible as external to us and all others, and consequently, as distinct and individualized, space (whatever its structure may be) claims the status as necessary condition and as apriori possibility of all knowledge. However, in the light of various physical, psychological and philosophical considerations, it seems that the particular structure allocated by Kant to space (i.e. uniqueness, infinity, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  48.  11
    Las controversias Indianas: La "Justificación" de la conquista.Manuel Leal Lobón - 2023 - Isidorianum 19 (38):455-481.
    Desde un primer momento España pretendió justificar la conquista y ocupación de América. De todos los posibles títulos que se podían aducir en los albores del siglo XVI, los españoles optaron por poner en primer lugar la “donación pontificia” (bulas alejandrinas). De modo que en este artículo intentaremos exponer los fundamentos doctrinales de esta donación papal. En la práctica se generó una preocupación (controversia) por la situación material y espiritual en la que vivían los indios que desembocó en los planteamientos (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  6
    La visita de Fray Alonso Guerra O.P. a la sede vacante de Michoacán.Manuel Leal Lobón - 2023 - Isidorianum 9 (18):465-492.
    Las visitas eclesiásticas eran un medio para contactar y conocer la realidad diocesana, sus problemas y sus éxitos. Sin embargo, a veces chocaban con delicados problemas provocados por los grandes periodos de sedes vacantes, durante los cuales los miembros del cabildo, los dueños del gobierno y la administración de la diócesis podían hacer y deshacer a su antojo. Por lo tanto, era lógico quetemieran al nuevo obispo e intentaran evitar su visita.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50.  19
    A framework for priority arguments.Manuel Lerman - 2010 - New York: Cambridge University Press.
    This book presents a unifying framework for using priority arguments to prove theorems in computability. Priority arguments provide the most powerful theorem-proving technique in the field, but most of the applications of this technique are ad hoc, masking the unifying principles used in the proofs. The proposed framework presented isolates many of these unifying combinatorial principles and uses them to give shorter and easier-to-follow proofs of computability-theoretic theorems. Standard theorems of priority levels 1, 2, and 3 are chosen to demonstrate (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 992