Results for 'Ss Wainer'

591 found
Order:
  1. SB Cooper, TA Slaman, and SS Wainer, Eds. Computability, Enumerability, Unsolvability: Directions in Recursion Theory.R. Downey - 1997 - Journal of Logic Language and Information 6:107-109.
  2.  5
    358 PG. Hinman.J. Barwise, L. Blum, M. Shub, S. Smale, Fr Drake, Ss Wainer, E. Engeler, Hm Friedman, Ro Gandy & Cme Yates - 1999 - In Edward R. Griffor (ed.), Handbook of Computability Theory. Elsevier. pp. 358.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  3. Is It Painful to Think? Conversations with Arne Næss.David Rothenberg & Arne Næss - 1993
  4.  7
    On Wainer's Notation for a Minimal Subrecursive Inaccessible Ordinal.Noriya Kadota - 1993 - Mathematical Logic Quarterly 39 (1):217-227.
    We show the following results on Wainer's notation for a minimal subrecursive inaccessible ordinal τ: First, we give a constructive proof of the collapsing theorem. Secondly, we prove that the slow-growing hierarchy and the fast-growing hierarchy up to τ have elementary properties on increase and domination, which completes Wainer's proof that τ is a minimal subrecursive inaccessible. Our results are obtained by showing a strong normalization theorem for the term structure of the notation. MSC: 03D20, 03F15.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  23
    eID Policy in a Turbulent Environment: Is There a Need for a New Regulatory Framework? [REVIEW]Wainer Lusoli, Ioannis Maghiros & Margherita Bacigalupo - 2008 - Identity in the Information Society 1 (1):173-187.
    There is increasing interest in the EU about the central place of eIdentity (eID) in people’s lives. eID is increasingly seen as a bridge between the commercial viability of models based on large-scale provision of e-services and users’ need for privacy and security in online transactions. This paper examines technological, social and legal developments in the field of eID and asks whether there is the need for a new regulatory framework that both preserves users’ identity and enables the provision of (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  1
    Ss Thinking and the Holocaust.André Mineau (ed.) - 2012 - Rodopi.
    SS ideology was the expression of an apparently philosophical self-containing system of thought, articulated around a systematic body of knowledge claiming to integrate humanity inside a global vision of Being. Using ontology and anthropology as foundations, SS thinking developed essentially in the field of ethics. It portrayed itself as a global approach to society and civilization, based on eugenics and ethnic cleansing. It accomplished the fusion of the modern biological paradigm with the cultural shock brought about by World War I (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  1
    Uneducated Guesses: Using Evidence to Uncover Misguided Education Policies.Howard Wainer - 2011 - Princeton University Press.
    In this explosive book, Howard Wainer uses statistical evidence to show why some of the most widely held beliefs in education today--and the policies that have resulted--are wrong.
    Direct download  
     
    Export citation  
     
    Bookmark  
  8. Picturing the Uncertain World: How to Understand, Communicate, and Control Uncertainty Through Graphical Display.Howard Wainer - 2011 - Princeton University Press.
    In his entertaining and informative book Graphic Discovery, Howard Wainer unlocked the power of graphical display to make complex problems clear. Now he's back with Picturing the Uncertain World, a book that explores how graphs can serve as maps to guide us when the information we have is ambiguous or incomplete. Using a visually diverse sampling of graphical display, from heartrending autobiographical displays of genocide in the Kovno ghetto to the "Pie Chart of Mystery" in a New Yorker cartoon, (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  9.  22
    Program Transformation and Proof Transformation.Wilfried Sieg & Stanley S. Wainer - unknown
    Wilfred Sieg and Stanley S. Wainer. Program Transformation and Proof Transformation.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  10.  9
    Free-Viewing as Experimental System to Test the Temporal Correlation Hypothesis: A Case of Theory-Generative Experimental Practice.Juan Manuel Garrido Wainer, Juan Felipe Espinosa, Natalia Hirmas & Nicolás Trujillo - 2020 - Studies in History and Philosophy of Science Part C: Studies in History and Philosophy of Biological and Biomedical Sciences 83:101307.
  11.  5
    The" Slow-Growing" U\ Approach to Hierarchies.S. S. Wainer - 1985 - In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--487.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  12.  34
    Da adivinhação à dedução: os processos inferenciais em psicoterapia cognitivo-comportamental.Ricardo Wainer, Jorge Castellá Sarriera, Neri Maurício Piccoloto, Luciane Benvegnu Piccoloto, Giovanni Kuckartz Pergher, Márcio Englert Barbosa & Vinícius Guimarães Dornelles - 2005 - Aletheia: An International Journal of Philosophy 22:23-40.
    Este artigo apresenta os principais resultados de uma pesquisa que objetivou verificar a validade e viabilidade de aplicar modelos lógico-pragmáticos da Lingüística Cognitiva ao entendimento dos processos inferenciais nos diálogos de díades pacientepsicoterapeuta em Terapia Cognitivo-Comportamental ..
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13.  1
    Understanding the development and use of tools in neuroscience: the case of the tungsten micro-electrode.Juan Manuel Garrido Wainer - 2022 - Synthese 200 (6):1-22.
    The philosophical interest in experimental practice in neuroscience has brought renewed attention to the study of the development and use of techniques and tools for data production. John Bickle has argued that the construction and progression of theories in neuroscience are entirely dependent on the development and ingenious use of research tools. In Bickle's account, theory plays a tertiary role, as it depends on what the tools allow researchers to manipulate, and the tools, in turn, are developed not in order (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  14.  4
    The Policy of Testing Hypotheses in Chilean Science. The Role of a Hypothesis-Driven Research Funding Programme in the Installation of a Hypothesis-Driven Experimental System in Visual Neuroscience.Juan Manuel Garrido Wainer, Natalia Hirmas-Montecinos & Nicolás Trujillo Osorio - 2022 - Studies in History and Philosophy of Science Part A 96:68-76.
  15.  12
    A Kantian Account of the Knowledge of Life and the Life Sciences.Juan Manual Garrido Wainer - 2015 - Idealistic Studies 45 (3):355-379.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  16. O predmete filozofie.SŠ Avaliani, O. N. Džugeli, G. D. Bačulašvili, T. A. Buačidze, G. V. Cincadze, A. V. Begiašvili & G. V. Mačitadze - 1974 - Filozofia 29:92.
    No categories
     
    Export citation  
     
    Bookmark  
  17. Herschel, John and Darwin, Charles-a Study in Parallel Lives.Ss Schweber - 1989 - Journal of the History of Biology 22 (1):1-71.
  18.  4
    On Sociological Biographies.Ss Schweber - 2008 - Annals of Science 65 (4):573Á578.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19. Problem Definition, Problem-Solving and Social-Problems-Reconceptualizing the Thought Process in Education.Ss Shermis & Jl Barth - 1983 - Journal of Thought 18 (4):73-93.
     
    Export citation  
     
    Bookmark  
  20. Essential Characteristics of the Jewish View of Reality, Judaism as a Living Historical Phenomenon. 1. Understanding of the Phenomenon, a Religious Culture of Radical, Ethical Monotheism, Carried on by the Jewish People.Ss Schwarzschild - 1991 - Ultimate Reality and Meaning 14 (3):221-230.
     
    Export citation  
     
    Bookmark  
  21. “Advaita, Causality and Human Freedom”(1940).Ss Suryanarayana Sastri - 2011 - In Nalini Bhushan & Jay L. Garfield (eds.), Indian Philosophy in English: From Renaissance to Independence. Oup Usa.
    No categories
     
    Export citation  
     
    Bookmark   1 citation  
  22.  9
    Næss Arne. Inføring I Logikk Og Metodelære . Filosofiske Problemer No. 14. Second Edition, Mimeographed. Studentforlaget, Oslo 1951, IV + 181 Pp. [REVIEW]Karl Egil Aubert - 1952 - Journal of Symbolic Logic 17 (4):288-288.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  23.  12
    Næss Arne. En Del Elementære Logiske Emner . Eighth Edition. Universitetets Studentkontor, Oslo 1950, 118 Pp. [REVIEW]Karl Egil Aubert - 1952 - Journal of Symbolic Logic 17 (4):288-288.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  24.  28
    Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme 1990.Peter Aczel, Harold Simmons & Stanley S. Wainer (eds.) - 1992 - Cambridge University Press.
    This work is derived from the SERC "Logic for IT" Summer School Conference on Proof Theory held at Leeds University. The contributions come from acknowledged experts and comprise expository and research articles which form an invaluable introduction to proof theory aimed at both mathematicians and computer scientists.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  2
    Editorial Logic Colloquium 95, Haifa, Israel Invited Papers on Proof Theory.Gerhard Jaeger, Wolfram Pohlers & Stan Wainer - 1997 - Archive for Mathematical Logic 36 (4-5).
    Direct download  
     
    Export citation  
     
    Bookmark  
  26. William Playfair and the Invention of Statistical Graphs.I. Spence & H. Wainer - 2004 - In Kimberly Kempf-Leonard (ed.), Encyclopedia of Social Measurement. Elsevier.
    No categories
     
    Export citation  
     
    Bookmark  
  27.  23
    Equational Derivation Vs. Computation.W. G. Handley & S. S. Wainer - 1994 - Annals of Pure and Applied Logic 70 (1):17-49.
    Subrecursive hierarchy classifications are used to compare the complexities of recursive functions according to their derivations in a version of Kleene's equation calculus, and their computations by term-rewriting. In each case ordinal bounds are assigned, and it turns out that the respective complexity measures are given by a version of the Fast Growing Hierarchy, and the Slow Growing Hierarchy. Known comparisons between the two hierarchies then provide ordinal trade-offs between derivation and computation. Characteristics of some well-known subrecursive classes are also (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  28.  15
    European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979.F. R. Drake & S. S. Wainer - 1981 - Journal of Symbolic Logic 46 (2):435-446.
  29. The Development of Logic in the 20th-Century.Ss Chang - 1987 - Chinese Studies in Philosophy 18 (3):3-9.
     
    Export citation  
     
    Bookmark  
  30. Murty's Concept of the Indian Spirit.Ss Barlingay - 1995 - In Sibajiban Bhattacharyya & Ashok Vohra (eds.), The Philosophy of K. Satchidananda Murty. Indian Book Centre. pp. 223.
    No categories
     
    Export citation  
     
    Bookmark  
  31.  4
    New Approaches to Commentary Formation in Ancient Mesopotamia.Zachary Wainer - 2022 - Journal of the American Oriental Society 140 (1):143.
    Assyriologists who have studied Mesopotamian commentary formation have drawn upon ideas from scholars of religion in treating the creation of a static canon at the end of the second millennium bce as a necessary precondition for the emergence of cuneiform commentaries. The present contribution argues against the idea that Mesopotamian commentaries emerged in response to a closed canon by marshaling evidence from Mesopotamian divinatory compositions, including the celestial-divinatory series Enūma Anu Enlil and its associated aḫû, or “extraneous” tradition, as well (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32.  40
    Modeling Generalized Implicatures Using Non-Monotonic Logics.Jacques Wainer - 2007 - Journal of Logic, Language and Information 16 (2):195-216.
    This paper reports on an approach to model generalized implicatures using nonmonotonic logics. The approach, called compositional, is based on the idea of compositional semantics, where the implicatures carried by a sentence are constructed from the implicatures carried by its constituents, but it also includes some aspects nonmonotonic logics in order to model the defeasibility of generalized implicatures.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33.  14
    Inductive Definitions Over a Predicative Arithmetic.Stanley S. Wainer & Richard S. Williams - 2005 - Annals of Pure and Applied Logic 136 (1-2):175-188.
    Girard’s maxim, that Peano Arithmetic is a theory of one inductive definition, is re-examined in the light of a weak theory EA formalising basic principles of Nelson’s predicative Arithmetic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  34.  26
    Hierarchies of Provably Recursive Functions.Stanley S. Wainer - 1998 - In Samuel R. Buss (ed.), Bulletin of Symbolic Logic. Elsevier. pp. 149.
  35. Accessible Recursive Functions.Stanley S. Wainer - 1999 - Bulletin of Symbolic Logic 5 (3):367-388.
    The class of all recursive functions fails to possess a natural hierarchical structure, generated predicatively from "within". On the other hand, many (proof-theoretically significant) sub-recursive classes do. This paper attempts to measure the limit of predicative generation in this context, by classifying and characterizing those (predictably terminating) recursive functions which can be successively defined according to an autonomy condition of the form: allow recursions only over well-orderings which have already been "coded" at previous levels. The question is: how can a (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  36.  13
    A Plus-1 Theorem for Sub-Sections.S. S. Wainer - 1988 - Archive for Mathematical Logic 27 (2):101-105.
  37.  4
    A Hierarchy for the 1-Section of Any Type Two Object.S. S. Wainer - 1974 - Journal of Symbolic Logic 39 (1):88-94.
  38.  5
    2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05.Stan S. Wainer - 2006 - Bulletin of Symbolic Logic 12 (2):310-361.
  39.  20
    Slow Growing Versus Fast Growing.S. S. Wainer - 1989 - Journal of Symbolic Logic 54 (2):608-614.
  40.  19
    Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy.S. S. Wainer - 1972 - Journal of Symbolic Logic 37 (2):281-292.
  41.  4
    Predicted Causality in Decision Making: The Role of Culture.C. Dominik Güss & Bernadette Robinson - 2014 - Frontiers in Psychology 5.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  42.  4
    Næss Arne. Toward a Theory of Interpretation and Preciseness. Theoria, Vol. 15 , Pp. 220–241.Carl G. Hempel - 1950 - Journal of Symbolic Logic 15 (2):154-154.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43. Næss, Examen Philosophicum Og Filosofisk Institutt.Dagfinn Føllesdal - 2002 - Norsk Filosofisk Tidsskrift 37 (1-02):47-55.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  9
    Essai sur la logique de l'indeterminisme et la ramification de l'espace-temps.Roland Fra�ss� - 1974 - Synthese 29 (1-4):27-54.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45.  19
    Les Modeles Et l'Algebre Logique.R. Fra�ss� - 1960 - Synthese 12 (2-3):197-201.
  46. Sahkara's Relevance to the Present Age.Ss Janaki - 1997 - In V. Venkatachalam (ed.), Śaṅkarācārya: The Ship of Enlightenment. Sahitya Akademi. pp. 87.
     
    Export citation  
     
    Bookmark  
  47. Ss. Eusebii Hieronymi Et Aurelii Augustini Epistulae Mutuae.Josef Jerome, Augustine & Schmid - 1930 - Sumptibus Petri Hanstein.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Næss Og Moderne Argumentasjonsteori.Magne Reitan - 2016 - Norsk Filosofisk Tidsskrift 51 (2):68-78.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. Repeated Testing and Primacy in Rat Serial-Position Curves.Ss Moy & Da Eckerman - 1989 - Bulletin of the Psychonomic Society 27 (6):495-495.
  50. Foreperiod Effect on Concurrent Estimation of Duration and Length of Line.Ss Mo - 1987 - Bulletin of the Psychonomic Society 25 (5):342-343.
     
    Export citation  
     
    Bookmark  
1 — 50 / 591