Results for 'Lew Gordeev'

175 found
Order:
  1.  14
    Proof Compression and NP Versus PSPACE II.Lew Gordeev & Edward Hermann Haeusler - forthcoming - Bulletin of the Section of Logic.
    We upgrade [3] to a complete proof of the conjecture NP = PSPACE that is known as one of the fundamental open problems in the mathematical theory of computational complexity; this proof is based on [2]. Since minimal propositional logic is known to be PSPACE complete, while PSPACE to include NP, it suffices to show that every valid purely implicational formula ρ has a proof whose weight and time complexity of the provability involved are both polynomial in the weight of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. The Letters of George Henry Lewes.George Henry Lewes & William Baker - 1995
    No categories
     
    Export citation  
     
    Bookmark  
  3.  29
    Proof Compression and NP Versus PSPACE.L. Gordeev & E. H. Haeusler - 2019 - Studia Logica 107 (1):53-83.
    We show that arbitrary tautologies of Johansson’s minimal propositional logic are provable by “small” polynomial-size dag-like natural deductions in Prawitz’s system for minimal propositional logic. These “small” deductions arise from standard “large” tree-like inputs by horizontal dag-like compression that is obtained by merging distinct nodes labeled with identical formulas occurring in horizontal sections of deductions involved. The underlying geometric idea: if the height, h(∂), and the total number of distinct formulas, ϕ(∂), of a given tree-like deduction ∂ of a minimal (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  4.  31
    Le sens musculaire et Les sensations de mouvement: D'après G. H. lewes.G. Lewes & C. T. - 1878 - Revue Philosophique de la France Et de l'Etranger 6:63 - 67.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5.  15
    Conjuring Optimism in Dark Times: Education, Affect and Human Capital.Sam Sellar & Lew Zipin - 2019 - Educational Philosophy and Theory 51 (6):572-586.
    This paper analyses how the discursive construction, valuation and subjective experience of human capital is evolving in parallel with crises of capital as a world-system. Ideology critique provides tools for analysing policy ‘fictions’ that aim to sustain investment in human capital through education. Foucauldian analytical tools enable analysis of how human capital has become a project of self-appreciation and cultivation of positive psychological traits. We argue that the work of Lauren Berlant provides an important complement to these approaches and enables (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  17
    Educating for Futures in Marginalized Regions: A Sociological Framework for Rethinking and Researching Aspirations.Lew Zipin, Sam Sellar, Marie Brennan & Trevor Gale - 2015 - Educational Philosophy and Theory 47 (3):1-20.
    ‘Raising aspirations’ for education among young people in low socioeconomic regions has become a widespread policy prescription for increasing human capital investment and economic competitiveness in so-called ‘knowledge economies’. However, policy tends not to address difficult social, cultural, economic and political conditions for aspiring, based in structural changes associated with globalization. Drawing conceptually on the works of Pierre Bourdieu, Raymond Williams, Arjun Appadurai and authors in the Funds of Knowledge tradition, this article theorizes two logics for aspiring that are recognizable (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7.  12
    How Do Hunter-Gatherer Children Learn Subsistence Skills?Sheina Lew-Levy, Rachel Reckin, Noa Lavi, Jurgi Cristóbal-Azkarate & Kate Ellis-Davies - 2017 - Human Nature 28 (4):367-394.
    No categories
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   10 citations  
  8.  17
    Evidence for the Adaptive Learning Function of Work and Work-Themed Play among Aka Forager and Ngandu Farmer Children from the Congo Basin.Sheina Lew-Levy & Adam H. Boyette - 2018 - Human Nature 29 (2):157-185.
    Work-themed play may allow children to learn complex skills, and ethno-typical and gender-typical behaviors. Thus, play may have made important contributions to the evolution of childhood through the development of embodied capital. Using data from Aka foragers and Ngandu farmer children from the Central African Republic, we ask whether children perform ethno- and gender-typical play and work activities, and whether play prepares children for complex work. Focal follows of 50 Aka and 48 Ngandu children were conducted with the aim of (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  9.  16
    All Words Are Not Created Equal: Expectations About Word Length Guide Infant Statistical Learning.Jenny R. Saffran & Casey Lew-Williams - 2012 - Cognition 122 (2):241-246.
    Infants have been described as 'statistical learners' capable of extracting structure (such as words) from patterned input (such as language). Here, we investigated whether prior knowledge influences how infants track transitional probabilities in word segmentation tasks. Are infants biased by prior experience when engaging in sequential statistical learning? In a laboratory simulation of learning across time, we exposed 9- and 10-month-old infants to a list of either disyllabic or trisyllabic nonsense words, followed by a pause-free speech stream composed of a (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  10.  14
    Proof-Theoretical Analysis: Weak Systems of Functions and Classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
  11.  12
    Mindfulness, Moral Reasoning and Responsibility: Towards Virtue in Ethical Decision-Making.Cherise Small & Charlene Lew - 2019 - Journal of Business Ethics 169 (1):103-117.
    Ethical decision-making is a multi-faceted phenomenon, and our understanding of ethics rests on diverse perspectives. While considering how leaders ought to act, scholars have created integrated models of moral reasoning processes that encompass diverse influences on ethical choice. With this, there has been a call to continually develop an understanding of the micro-level factors that determine moral decisions. Both rationalist, such as moral processing, and non-rationalist factors, such as virtue and humanity, shape ethical decision-making. Focusing on the role of moral (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  23
    Phase Transitions of Iterated Higman-Style Well-Partial-Orderings.Lev Gordeev & Andreas Weiermann - 2012 - Archive for Mathematical Logic 51 (1-2):127-161.
    We elaborate Weiermann-style phase transitions for well-partial-orderings (wpo) determined by iterated finite sequences under Higman-Friedman style embedding with Gordeev’s symmetric gap condition. For every d-times iterated wpo ${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$ in question, d > 1, we fix a natural extension of Peano Arithmetic, ${T \supseteq \sf{PA}}$ , that proves the corresponding second-order sentence ${\sf{WPO}\left({\rm S}{\textsc{eq}}^{d}, \trianglelefteq _{d}\right) }$ . Having this we consider the following parametrized first-order slow well-partial-ordering sentence ${\sf{SWP}\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}, r\right):}$ $$\left( \forall K > (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  26
    Generalizations of the Kruskal-Friedman Theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.
    Kruskal proved that finite trees are well-quasi-ordered by hom(e)omorphic embeddability. Friedman observed that this statement is not provable in predicative analysis. Friedman also proposed (see in [Simpson]) some stronger variants of the Kruskal theorem dealing with finite labeled trees under home(e)omorphic embeddability with a certain gap-condition, where labels are arbitrary finite ordinals from a fixed initial segment of ω. The corresponding limit statement, expressing that for all initial segments of ω these labeled trees are well-quasi-ordered, is provable in Π 1 (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  14.  14
    MAGELLAN: A Cognitive Map–Based Model of Human Wayfinding.Jeremy R. Manning, Timothy F. Lew, Ningcheng Li, Robert Sekuler & Michael J. Kahana - 2014 - Journal of Experimental Psychology: General 143 (3):1314-1330.
  15.  20
    Generalizations of the One-Dimensional Version of the Kruskal-Friedman Theorems.L. Gordeev - 1989 - Journal of Symbolic Logic 54 (1):100-121.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  16. On Cut Elimination in the Presence of Perice Rule.Lev Gordeev - 1987 - Archive for Mathematical Logic 26 (1):147-164.
     
    Export citation  
     
    Bookmark   3 citations  
  17. Wielbłąd, lew, dziecko. Analiza i rekonstrukcja trzech przemian mędrca Zaratustry.Leszek Galas - 2019 - Humanistyka I Przyrodoznawstwo 24:375-390.
    Celem artykułu jest próba rekonstrukcji rozwoju duchowego Zaratustry, głównego bohatera dzieła Nietzschego Tako rzecze Zaratustra. Ów rozwój polega na osiąganiu trzech stadiów świadomości: fazy konformistycznego wielbłąda, przepełnionego negacją lwa i finalnie dziecka afirmującego życie. Metodologia badań zastosowana w artykule opiera się na analizie, rekonstrukcji i syntezie tekstu Tako rzecze Zaratustra. Przeprowadzone badania osadzone są w kontekście tezy Heideggera o komplementarności głównych aspektów nietzscheanizmu: woli mocy i wiecznego powrotu. Zaratustra, aby przeistoczyć się w lwa, a następnie w dziecko, będzie musiał odkryć (...)
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  18. Comte's Philosophy of the Sciences.George Henry Lewes - 1996 - Bell.
     
    Export citation  
     
    Bookmark   1 citation  
  19. The Biographical History of Philosophy From its Origin in Greece Down to the Present Day.George Henry Lewes - 1857 - Appleton.
    No categories
     
    Export citation  
     
    Bookmark  
  20. The Life History of Learning Subsistence Skills among Hadza and BaYaka Foragers from Tanzania and the Republic of Congo.Sheina Lew-Levy, Erik J. Ringen, Alyssa N. Crittenden, Ibrahim A. Mabulla, Tanya Broesch & Michelle A. Kline - 2021 - Human Nature 32 (1):16-47.
    Aspects of human life history and cognition, such as our long childhoods and extensive use of teaching, theoretically evolved to facilitate the acquisition of complex tasks. The present paper empirically examines the relationship between subsistence task difficulty and age of acquisition, rates of teaching, and rates of oblique transmission among Hadza and BaYaka foragers from Tanzania and the Republic of Congo. We further examine cross-cultural variation in how and from whom learning occurred. Learning patterns and community perceptions of task difficulty (...)
    No categories
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  21.  14
    Systems of Iterated Projective Ordinal Notations and Combinatorial Statements About Binary Labeled Trees.L. Gordeev - 1989 - Archive for Mathematical Logic 29 (1):29-46.
    We introduce the appropriate iterated version of the system of ordinal notations from [G1] whose order type is the familiar Howard ordinal. As in [G1], our ordinal notations are partly inspired by the ideas from [P] where certain crucial properties of the traditional Munich' ordinal notations are isolated and used in the cut-elimination proofs. As compared to the corresponding “impredicative” Munich' ordinal notations (see e.g. [B1, B2, J, Sch1, Sch2, BSch]), our ordinal notations arearbitrary terms in the appropriate simple term (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  22.  54
    Reimagining the New Pedagogical Possibilities for Universities Post-Covid-19.Michael A. Peters, Fazal Rizvi, Gary McCulloch, Paul Gibbs, Radhika Gorur, Moon Hong, Yoonjung Hwang, Lew Zipin, Marie Brennan, Susan Robertson, John Quay, Justin Malbon, Danilo Taglietti, Ronald Barnett, Wang Chengbing, Peter McLaren, Rima Apple, Marianna Papastephanou, Nick Burbules, Liz Jackson, Pankaj Jalote, Mary Kalantzis, Bill Cope, Aslam Fataar, James Conroy, Greg Misiaszek, Gert Biesta, Petar Jandrić, Suzanne S. Choo, Michael Apple, Lynda Stone, Rob Tierney, Marek Tesar, Tina Besley & Lauren Misiaszek - forthcoming - Educational Philosophy and Theory:1-44.
    Michael A. Petersa and Fazal Rizvib aBeijing Normal University, Beijing, PR China; bMelbourne University, Melbourne, Australia Our minds are still racing back and forth, longing for a return to ‘no...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  23.  13
    Proof-Theoretic Conservations of Weak Weak Intuitionistic Constructive Set Theories.Lev Gordeev - 2013 - Annals of Pure and Applied Logic 164 (12):1274-1292.
    The paper aims to provide precise proof theoretic characterizations of Myhill–Friedman-style “weak” constructive extensional set theories and Aczel–Rathjen analogous constructive set theories both enriched by Mostowski-style collapsing axioms and/or related anti-foundation axioms. The main results include full intuitionistic conservations over the corresponding purely arithmetical formalisms that are well known in the reverse mathematics – which strengthens analogous results obtained by the author in the 80s. The present research was inspired by the more recent Sato-style “weak weak” classical extensional set theories (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  24. The Effects of Anxiety on Motor Performance: A Test of the Conscious Processing Hypothesis.Richard Mullen, Lew Hardy & Andrew Tattersall - 2005 - Journal of Sport and Exercise Psychology 27 (2):212-225.
  25.  21
    A Modified Sentence Unprovable in PA.L. Gordeev - 1994 - Journal of Symbolic Logic 59 (4):1154 - 1157.
  26.  8
    Propositional Proof Compressions and DNF Logic.L. Gordeev, E. Haeusler & L. Pereira - 2011 - Logic Journal of the IGPL 19 (1):62-86.
    This paper is a continuation of dag-like proof compression research initiated in [9]. We investigate proof compression phenomenon in a particular, most transparent case of propositional DNF Logic. We define and analyze a very efficient semi-analytic sequent calculus SEQ*0 for propositional DNF. The efficiency is achieved by adding two special rules CQ and CS; the latter rule is a variant of the weakened substitution rule WS from [9], while the former one being specially designed for DNF sequents. We show that (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  27.  16
    When Rights Just Won’T Do: Ethical Considerations When Making Decisions for Severely Disabled Newborns.D. Micah Hester, Cheryl D. Lew & Alissa Swota - 2015 - Perspectives in Biology and Medicine 58 (3):322-327.
    Children like Baby G, born with complex chronic medical conditions that compromise function in the long term, are an increasing presence in tertiary-level neonatal intensive care units. The parents and health-care providers of these children are faced with profoundly difficult decisions. Whether severe congenital anomalies with poor prognosis are diagnosed antenatally or are discovered at the time of birth, the issues are vexing, and the impact decisions will have on everyone in the family is profound. What should such decisions be (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  35
    Loveday Lewes Gee, Women, Art and Patronage From Henry III to Edward III, 1216–1377. Woodbridge, Eng., and Rochester, N.Y.: Boydell and Brewer, 2002. Pp. Xii, 219 Plus 60 Black-and-White Plates; Genealogical Tables. $75.Kathryn A. Smith - 2004 - Speculum 79 (1):177-180.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29.  1
    A Modified Sentence Unprovable in $Mathbf{PA}$.L. Gordeev - 1994 - Journal of Symbolic Logic 59 (4):1154-1157.
  30. Using Corpus Linguistics to Investigate Mathematical Explanation.Juan Pablo Mejía Ramos, Lara Alcock, Kristen Lew, Paolo Rago, Chris Sangwin & Matthew Inglis - 2019 - In Eugen Fischer & Mark Curtis (eds.), Methodological Advances in Experimental Philosophy. London: Bloomsbury Academic. pp. 239–263.
    In this chapter we use methods of corpus linguistics to investigate the ways in which mathematicians describe their work as explanatory in their research papers. We analyse use of the words explain/explanation (and various related words and expressions) in a large corpus of texts containing research papers in mathematics and in physical sciences, comparing this with their use in corpora of general, day-to-day English. We find that although mathematicians do use this family of words, such use is considerably less prevalent (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  31. Consciousness and Unconsciousness.Lewes George Henry - 1877 - Mind 2 (6):156-167.
  32.  13
    Mr. Lewes's Doctrine of Sensibility.E. Hamilton - 1879 - Mind 4 (14):256-261.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  33.  5
    Christian Bioethics: A Guide for the Perplexed by Agneta Sutton. [REVIEW]Lawrence Lew - 2009 - New Blackfriars 90 (1026):272-273.
    No categories
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  34. Problems of Life and Mind.George Henry Lewes - 1874 - Trübner & Co.
     
    Export citation  
     
    Bookmark   37 citations  
  35.  18
    The Lewes House Collection of Ancient Gems. [REVIEW] Y. - 1920 - The Classical Review 34 (5-6):116-117.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  36. Preparing Values-Based Commanders for the 3rd Generation Singapore Armed Forces.Psalm Bc Lew - 2008 - In C. A. J. Coady & Igor Primoratz (eds.), Military Ethics. Ashgate Pub. Co..
     
    Export citation  
     
    Bookmark   1 citation  
  37. Plural Sovereignty for the Common Good: Faith-Based Initiatives and the Social Question Today.Lew Daly - 2013 - Social Research: An International Quarterly 80 (2):539-556.
     
    Export citation  
     
    Bookmark  
  38. Comte's Philosophy of the Sciences Being an Exposition of the Principles of the Cours de Philosophie Positive of Auguste Comte.George Henry Lewes - 1878 - G. Bell & Sons.
     
    Export citation  
     
    Bookmark   1 citation  
  39.  7
    George Henry Lewes.R. E. Ockenden - 1940 - Isis 32 (1):70-86.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  40.  1
    The Lewes House Collection of Ancient GemsCatalogue of Engraved Gems of the Classical Style.J. D. Beazley & Gisela M. A. Richter - 1920 - Journal of Hellenic Studies 40:236.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  41. Darby Lewes.Middle-Class Edens - 1993 - Utopian Studies 4 (1):14.
  42. Aristotle a Chapter From the History of Science, Including Analyses of Aristotle's Scientific Writings.George Henry Lewes - 1864 - Smith, Elder & Co.
  43. The History & Philosophy of Buddhism.Lew[from old catalog] Lancaster - 1971 - [N.P.]Big Sur Recordings.
     
    Export citation  
     
    Bookmark  
  44. Science and Speculation.George Henry Lewes - 1904 - Watts.
    No categories
     
    Export citation  
     
    Bookmark  
  45. The History of Philosophy Fom Thales to Comte.George Henry Lewes - 1867 - Longmans.
    Direct download  
     
    Export citation  
     
    Bookmark   56 citations  
  46. Lewes. - La base physique de l'esprit. [REVIEW]Th Ribot - 1877 - Revue Philosophique de la France Et de l'Etranger 4:211.
    Translate
     
     
    Export citation  
     
    Bookmark  
  47.  39
    Marian Evans, George Henry Lewes and “George Eliot”.Moira Gatens - 2008 - Angelaki 13 (2):33 – 44.
  48.  7
    Notes.George Henry Lewes - 1876 - Mind (2):283-284.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49.  37
    The Philosophy of Integratism.Lew Gerbilsky - 2006 - The Proceedings of the Twenty-First World Congress of Philosophy 4:35-43.
    At the beginning of the third millennium we are entering a new era. I call it "The Integration/Disintegration Era" because the Integration/ Disintegration Problem is one of the basic problems our world is facing today. Philosophy attempts to work out an integrated view of the universe, of human nature, and of society. The specific philosophical science which has concerned itself with integration/ disintegration, is Integratism. This is the common denominator of different particular problems in the integration /disintegration of the universe, (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  50.  5
    Critical Notices.G. H. Lewes - 1876 - Mind (1):122-125.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 175