Results for 'Hannah Kleen'

976 found
Order:
  1.  17
    Why Is Murat’s Achievement So Low? Causal Attributions and Implicit Attitudes Toward Ethnic Minority Students Predict Preservice Teachers’ Judgments About Achievement.Sabine Glock, Anna Shevchuk & Hannah Kleen - 2022 - Frontiers in Psychology 13.
    In many educational systems, ethnic minority students score lower in their academic achievement, and consequently, teachers develop low expectations regarding this student group. Relatedly, teachers’ implicit attitudes, explicit expectations, and causal attributions also differ between ethnic minority and ethnic majority students—all in a disadvantageous way for ethnic minority students. However, what is not known so far, is how attitudes and causal attributions contribute together to teachers’ judgments. In the current study, we explored how implicit attitudes and causal attributions contribute to (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. S. C. Kleene. General recursive functions of natural numbers. Mathematische Annalen, Bd. 112 (1935–1936), S. 727–742.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):38-38.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   35 citations  
  3. Introduction to metamathematics.Stephen Cole Kleene - 1952 - Groningen: P. Noordhoff N.V..
    Stephen Cole Kleene was one of the greatest logicians of the twentieth century and this book is the influential textbook he wrote to teach the subject to the next generation. It was first published in 1952, some twenty years after the publication of Godel's paper on the incompleteness of arithmetic, which marked, if not the beginning of modern logic. The 1930s was a time of creativity and ferment in the subject, when the notion of computable moved from the realm of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   612 citations  
  4.  21
    The Kleene Symposium: proceedings of the symposium held June 18-24, 1978 at Madison, Wisconsin, U.S.A.Stephen Cole Kleene, Jon Barwise, H. Jerome Keisler & Kenneth Kunen (eds.) - 1980 - New York: sole distributors for the U.S.A. and Canada, Elsevier North-Holland.
  5.  23
    Tyra Kleen.Karin Ström Lehander - 2021 - Approaching Religion 11 (1):174-83.
    The Swedish artist and writer Tyra Kleen was a professional artist and a constant traveller who had a great interest in different religious questions. This article describes her Symbolist artistry, her interest in Theosophy and her journeys to India and Asia.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6. Mathematical logic.Stephen Cole Kleene - 1967 - Mineola, N.Y.: Dover Publications.
    Undergraduate students with no prior classroom instruction in mathematical logic will benefit from this evenhanded multipart text by one of the centuries greatest authorities on the subject. Part I offers an elementary but thorough overview of mathematical logic of first order. The treatment does not stop with a single method of formulating logic; students receive instruction in a variety of techniques, first learning model theory (truth tables), then Hilbert-type proof theory, and proof theory handled through derived rules. Part II supplements (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   87 citations  
  7. (1 other version)On notation for ordinal numbers.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (4):150-155.
  8. (1 other version)On the interpretation of intuitionistic number theory.Stephen Cole Kleene - 1945 - Journal of Symbolic Logic 10 (4):109-124.
  9.  16
    The Foundations of Intuitionistic Mathematics: Especially in Relation to Recursive Functions.Stephen Cole Kleene & Richard Eugene Vesley - 1965 - Amsterdam: North-Holland Pub. Co.. Edited by Richard Eugene Vesley.
  10. Recursive predicates and quantifiers.S. C. Kleene - 1943 - Transactions of the American Mathematical Society 53:41-73.
  11.  91
    The mathematical work of S. C. Kleene.J. R. Shoenfield & S. C. Kleene - 1995 - Bulletin of Symbolic Logic 1 (1):8-43.
    §1. The origins of recursion theory. In dedicating a book to Steve Kleene, I referred to him as the person who made recursion theory into a theory. Recursion theory was begun by Kleene's teacher at Princeton, Alonzo Church, who first defined the class of recursive functions; first maintained that this class was the class of computable functions ; and first used this fact to solve negatively some classical problems on the existence of algorithms. However, it was Kleene who, in his (...)
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  12.  82
    (1 other version)Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (1):11-18.
  13.  36
    (1 other version)Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.
  14.  70
    (1 other version)The work of Kurt gödel.Stephen C. Kleene - 1976 - Journal of Symbolic Logic 41 (4):761-778.
  15.  52
    Reviews. Kurt Gödel. What is Cantor's continuum problem? The American mathematical monthly, vol. 54 , pp. 515–525.S. C. Kleene - 1948 - Journal of Symbolic Logic 13 (2):116-117.
  16.  56
    Reflections on Church's thesis.Stephen C. Kleene - 1987 - Notre Dame Journal of Formal Logic 28 (4):490-498.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  17. I—Hannah Ginsborg: Meaning, Understanding and Normativity.Hannah Ginsborg - 2012 - Aristotelian Society Supplementary Volume 86 (1):127-146.
    I defend the normativity of meaning against recent objections by arguing for a new interpretation of the ‘ought’ relevant to meaning. Both critics and defenders of the normativity thesis have understood statements about how an expression ought to be used as either prescriptive or semantic. I propose an alternative view of the ‘ought’ as conveying the primitively normative attitudes speakers must adopt towards their uses if they are to use the expression with understanding.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   28 citations  
  18.  69
    Origins of Recursive Function Theory.Stephen C. Kleene & Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):348-350.
    Direct download  
     
    Export citation  
     
    Bookmark   15 citations  
  19.  35
    The Upper Semi-Lattice of Degrees of Recursive Unsolvability.S. C. Kleene & Emil L. Post - 1956 - Journal of Symbolic Logic 21 (4):407-408.
  20. The portable Hannah Arendt.Hannah Arendt - 2000 - New York: Penguin Books. Edited by Peter Baehr.
    Although Hannah Arendt is considered one of the major contributors to social and political thought in the twentieth century, this is the first general anthology ...
    Direct download  
     
    Export citation  
     
    Bookmark   24 citations  
  21.  20
    Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):409-410.
  22.  18
    Hierarchies of Number-Theoretic Predicates.S. C. Kleene - 1956 - Journal of Symbolic Logic 21 (4):411-412.
  23.  15
    Recursive Functionals and Quantifiers of Finite Types II.S. C. Kleene - 1971 - Journal of Symbolic Logic 36 (1):146-146.
  24.  44
    Realizability: a retrospective survey.S. C. Kleene - 1973 - In A. R. D. Mathias & Hartley Rogers, Cambridge Summer School in Mathematical Logic. New York,: Springer Verlag. pp. 95--112.
  25.  10
    A note on recursive functions.S. C. Kleene - 1936 - Journal of Symbolic Logic 1 (3):119-119.
  26.  16
    Extension of an Effectively Generated Class of Functions by Enumeration.S. C. Kleene - 1960 - Journal of Symbolic Logic 25 (3):279-280.
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  27.  28
    Recursive Functions and Intuitionistic Mathematics.S. C. Kleene - 1953 - Journal of Symbolic Logic 18 (2):181-182.
  28. An addendum: Disjunction and existence under implication in elementary intuitionistic formalisms.S. C. Kleene - 1963 - Journal of Symbolic Logic 28 (2):154-156.
  29.  61
    Oscillation Phase Locking and Late ERP Components of Intracranial Hippocampal Recordings Correlate to Patient Performance in a Working Memory Task.Jonathan K. Kleen, Markus E. Testorf, David W. Roberts, Rod C. Scott, Barbara J. Jobst, Gregory L. Holmes & Pierre-Pascal Lenck-Santini - 2016 - Frontiers in Human Neuroscience 10.
  30.  46
    Finite Axiomatizability of Theories in the Predicate Calculus Using Additional Predicate Symbols.S. C. Kleene, W. Craig & R. L. Vaught - 1971 - Journal of Symbolic Logic 36 (2):334-335.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  31. Realizability and Shanin's algorithm for the constructive deciphering of mathematical sentences.Stephen C. Kleene - 1960 - Logique Et Analyse 3 (11):154.
     
    Export citation  
     
    Bookmark   3 citations  
  32.  45
    Third meeting of the association for symbolic logic.S. C. Kleene - 1938 - Journal of Symbolic Logic 3 (1):59-60.
  33.  20
    Realizability.S. C. Kleene - 1962 - Journal of Symbolic Logic 27 (2):242-243.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  34.  14
    The capacity of trans-saccadic memory in visual search.Nicholas J. Kleene & Melchi M. Michel - 2018 - Psychological Review 125 (3):391-408.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Moving ego versus moving time: investigating the shared source of future-bias and near-bias.Sam Baron, Brigitte C. Everett, Andrew J. Latham, Kristie Miller, Hannah Tierney & Jordan Veng Thang Oh - 2023 - Synthese 202 (3):1-33.
    It has been hypothesized that our believing that, or its seeming to us as though, the world is in some way dynamical partially explains (and perhaps rationalizes) future-bias. Recent work has, in turn, found a correlation between future-bias and near-bias, suggesting that there is a common explanation for both. Call the claim that what partially explains our being both future- and near-biased is our believing/it seeming to us as though the world is dynamical, the dynamical explanation. We empirically test two (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  36. Classical extensions of intuitionistic mathematics.S. C. Kleene - 1965 - In Yehoshua Bar-Hillel, Logic, methodology and philosophy of science. Amsterdam,: North-Holland Pub. Co.. pp. 2--31.
  37.  11
    (1 other version)On the Forms of Predicates in the Theory of Constructive Ordinals.S. C. Kleene - 1946 - Journal of Symbolic Logic 11 (4):127-127.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  38.  9
    Unimonotone functions of finite types (recursive functionals and quantifiers of finite types revisited IV).S. C. Kleene - 1985 - In Anil Nerode & Richard A. Shore, Recursion theory. Providence, R.I.: American Mathematical Society. pp. 42--119.
  39.  33
    Hannah Arendt: the last interview and other conversations.Hannah Arendt - 2013 - Brooklyn, NY: Melville House.
    A unique selection of the most significant interviews given by Hannah Arendt, including the last she gave before her death in 1975. Some are published here in English for the first time. Arendt was one of the most important thinkers of her time, famous for her idea of "the banality of evil" which continues to provoke debate. This collection provides new and startling insight into Arendt's thoughts about Watergate and the nature of American politics, about totalitarianism and history, and (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  40.  46
    An addendum to the work of Kurt gödel.Stephen C. Kleene - 1978 - Journal of Symbolic Logic 43 (3):613.
  41.  9
    A Note on Computable Functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 24 (1):51-52.
    Direct download  
     
    Export citation  
     
    Bookmark  
  42.  27
    A Philosophy of Mathematics.S. C. Kleene - 1949 - Philosophical Review 58 (2):187.
  43.  28
    A Symmetric Form of Godel's Theorem.S. C. Kleene - 1951 - Journal of Symbolic Logic 16 (2):147-147.
  44.  30
    Copeland Arthur H.. Postulates for the theory of probability. American journal of mathematics, vol. 63 , pp. 741–762.S. C. Kleene - 1942 - Journal of Symbolic Logic 7 (1):41-41.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  45.  40
    Curry Haskell B.. A simplification of the theory of combinators. Synthese, vol. 7 , pp. 391–399.S. C. Kleene - 1952 - Journal of Symbolic Logic 17 (1):76-76.
  46.  14
    Errata. Arithmetical Predicates and Function Quantifiers.S. C. Kleene - 1957 - Journal of Symbolic Logic 22 (4):375-375.
  47.  35
    Fitch Frederic B.. An extension of basic logic.S. C. Kleene - 1949 - Journal of Symbolic Logic 14 (1):68-69.
  48.  42
    Fitch Frederic B.. The Heine-Borel theorem in extended basic logic.S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (2):137-137.
  49.  27
    Fitch Frederic B.. A further consistent extension of basic logic, The journal of symbolic logic. vol. 14 , pp. 209–218.S. C. Kleene - 1950 - Journal of Symbolic Logic 15 (3):219-220.
  50.  15
    Helmer Olaf. Perelman versus Gödel. Mind, vol. 46 , pp. 58–60.S. C. Kleene - 1937 - Journal of Symbolic Logic 2 (1):48-49.
1 — 50 / 976