Results for 'Lew Gordeev'

201 found
Order:
  1.  14
    Proof Compression and NP Versus PSPACE II: Addendum.Lew Gordeev & Edward Hermann Haeusler - 2022 - Bulletin of the Section of Logic 51 (2):197-205.
    In our previous work we proved the conjecture NP = PSPACE by advanced proof theoretic methods that combined Hudelmaier’s cut-free sequent calculus for minimal logic with the horizontal compressing in the corresponding minimal Prawitz-style natural deduction. In this Addendum we show how to prove a weaker result NP = coNP without referring to HSC. The underlying idea is to omit full minimal logic and compress only “naive” normal tree-like ND refutations of the existence of Hamiltonian cycles in given non-Hamiltonian graphs, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2.  30
    Proof-theoretical analysis: weak systems of functions and classes.L. Gordeev - 1988 - Annals of Pure and Applied Logic 38 (1):1-121.
  3.  63
    (1 other version)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   3 citations  
  4.  42
    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 \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\left({\rm S}\text{\textsc{eq}}^{d}, \trianglelefteq _{d}\right)}$$\end{document} in question, d > 1, we fix a natural extension of Peano Arithmetic, \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${T \supseteq \sf{PA}}$$\end{document}, that proves the corresponding second-order sentence \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5. On cut elimination in the presence of perice rule.Lev Gordeev - 1987 - Archive for Mathematical Logic 26 (1):147-164.
     
    Export citation  
     
    Bookmark   6 citations  
  6.  50
    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  
  7.  52
    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   5 citations  
  8. The Letters of George Henry Lewes.George Henry Lewes & William Baker - 1995
    No categories
     
    Export citation  
     
    Bookmark  
  9.  25
    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  
  10.  58
    A modified sentence unprovable in PA.L. Gordeev - 1994 - Journal of Symbolic Logic 59 (4):1154 - 1157.
  11.  18
    Visualizing migration processes in the Southern Urals’ cities: from the social space transforming to its deforming.Sergey Gordeev, Sergey Zyryanov & Daria Averyanova - 2021 - Sotsium I Vlast 4:94-106.
    The authors present the results of studying migration processes as one of the factors that determine the transformation of the regional social space. Applying migration indicators to assessing prospective spatial changes presupposes a multivariate analysis of developing complex heterogeneous systems. The version of applying problem-oriented visualization tools presented by the authors significantly expands the possibilities of such an analysis. Assessment, systematization and subsequent classification of migration characteristics are considered within the framework of a multi-stage graphical digital analysis procedure. The problems (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12.  13
    “Path dependence” in developing socio-economic space of the region. Part 2: crisis transformations of the “path dependence” and its consequences for the Chelyabinsk region.Sergey Gordeev, Sergey Zyryanov & Aleksander Podoprigora - 2020 - Sotsium I Vlast 1:30-43.
    In view of the twentieth anniversary of the Socium i Vlast’journal, on the day of the Russian science, a round table was held in the Chelyabinsk branch of the Russian Presidential Academy of National Economy and Public Administration in order to discuss topical issues of crisis dynamics and risks in the context of new global challenges. Below the main materials of the report based on the results of interdisciplinary research series as exemplified by the Chelyabinsk region are presented. The report (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  13.  30
    Протестантизм как основа современного капитализма.Anton Gordeev - 2008 - Proceedings of the Xxii World Congress of Philosophy 22:125-133.
    Society economics has been always connected with religious and ethic views of each people. A lot of philosophers and theologists closely studied the problem of synthesis and mutual influence of these social institutions. Within the frame of historical development of philosophy there were such periods. The most illustrative example of such synthesis, maybe, is the parallel development of Protestantism and capitalism. It is possible to note this world tendency in the places with strong protestant influence (in particular its conservative branch (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  39
    A note on da Costa-Doria “exotic formalizations”.L. Gordeev - 2010 - Archive for Mathematical Logic 49 (7-8):813-821.
    We analyze N. C. A. da Costa and F. A. Doria’s “exotic formalization” of the conjecture P = NP [3–7]. For any standard axiomatic PA extension T and any number-theoretic sentence ${\varphi }$ , we let ${\varphi ^{\star} := \varphi \vee \lnot \mathsf{Con}\left( \mathsf{T}\right)}$ and prove the following “exotic” inferences 1–3. 1. ${\mathsf{T}+\varphi ^{\star}}$ is consistent, if so is T, 2. ${\mathsf{T}+\varphi}$ is consistent, provided that ${\mathsf{T}+\varphi ^{\star}}$ is ω-consistent, 3. ${\mathsf{T}+\varphi}$ is consistent, provided that T is consistent and has (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  15.  9
    Analyzing the transformation of “green zones” in a heterogeneous social space: as exemplified by the agglomeration of Chelyabinsk and the city pine forest.Sergey Gordeev, Andrey Kocherov & Vera Merker - 2021 - Sotsium I Vlast 4:83-93.
    The research is focused on the problems of transforming a complex heterogeneous spatial system, urban agglomeration with a unique natural complex. The paper touches upon the following issues: restrictions on spatial development, zoning of territories, transformation of the settlement framework, social transformations, and integration of the most significant city-forming objects. To predict transformations in such a system, a complex multilevel model is considered — “the biosphere core vs. urban environment”. Forming such a model to analyze the prospective development of the (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  31
    Finite methods in 1-order formalisms.L. Gordeev - 2001 - Annals of Pure and Applied Logic 113 (1-3):121-151.
    Familiar proof theoretical and especially automated deduction methods sometimes accept infinity where, in fact, it can be omitted. Our first example deals with the infinite supply of individual variables admitted in 1-order deductions, the second one deals with infinite-branching rules in sequent calculi with number-theoretical induction. The contents of Section 1 summarize and extend basic ideas and results published elsewhere, whereas basic ideas and results of Section 2 are exposed for the first time in the present paper. We consider classical (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  17.  10
    Limitations and transformations in the social space of coronacrisis: assessments of regions during the COVID-19 pandemic.Sergey Gordeev - 2020 - Sotsium I Vlast 5:32-50.
    The realities of the coronavirus crisis caused by the COVID-19 pandemic, in many cases, become decisive for adjusting the prospects for socio-economic development. The article presents the main results of studying the social aspect of the pandemic in the context of social heterogeneity and specific regional differences. The main points of the study are focused on analyzing the dynamics of the pandemic spreading in Russia’s regions, the specifics and effectiveness of social restrictions, and the transformation of social space. The analysis (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  18.  27
    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  
  19.  4
    “Path Dependence” in developing socio-economic space of the region. Part 1: “Path Dependence” and the local crisis in the Chelyabinsk Region.Sergey Gordeev, Sergey Zyryanov & Aleksander Podoprigora - 2019 - Sotsium I Vlast 5:84-97.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  26
    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  
  21. Problema razvitii︠a︡ v sovremennom estestvoznanii.Dem'ian Ignat'evich Gordeev (ed.) - 1968 - Izd. Mosk. Un-Ta.
     
    Export citation  
     
    Bookmark  
  22.  41
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  23. Problems of Life and Mind.George Henry Lewes - 1874 - Trübner & Co.
     
    Export citation  
     
    Bookmark   57 citations  
  24.  13
    The History of Philosophy from Thales to Comte: Modern philosophy.George Henry Lewes - 1867 - Longmans.
  25.  38
    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.
    Hunting and gathering is, evolutionarily, the defining subsistence strategy of our species. Studying how children learn foraging skills can, therefore, provide us with key data to test theories about the evolution of human life history, cognition, and social behavior. Modern foragers, with their vast cultural and environmental diversity, have mostly been studied individually. However, cross-cultural studies allow us to extrapolate forager-wide trends in how, when, and from whom hunter-gatherer children learn their subsistence skills. We perform a meta-ethnography, which allows us (...)
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  26.  33
    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)  
     
    Export citation  
     
    Bookmark   7 citations  
  27.  16
    A Biographical History of Philosophy.George Henry Lewes & John Lubbock - 1900 - London,: Cambridge University Press.
    The philosopher and critic George Henry Lewes published this work in two volumes in 1845–6. This is a reissue of an 1892 printing, which brought the volumes into one book. Lewes wrote widely on literature, science and philosophy, and was also the long-term intimate companion of George Eliot. This book is a narrative history, rather than an encyclopedia, of key philosophers. It is, therefore, a partial and personal study instead of an exhaustive textbook. The first volume concentrates solely on Greek (...)
    Direct download  
     
    Export citation  
     
    Bookmark   5 citations  
  28.  47
    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)  
     
    Export citation  
     
    Bookmark   3 citations  
  29.  65
    Masahiro Hamano and Mitsuhiro Okada. A direct independence proof of Buchholz's Hydra game on finite labeled trees. Archive for mathematical logic, vol. 37 no. 2 , pp. 67–89. [REVIEW]Lev Gordeev - 2001 - Bulletin of Symbolic Logic 7 (4):534-535.
  30. The physical Basis of Mind.G. H. Lewes - 1877 - Revue Philosophique de la France Et de l'Etranger 4 (9):210-215.
     
    Export citation  
     
    Bookmark   9 citations  
  31.  22
    Hunter-Gatherer Children’s Object Play and Tool Use: An Ethnohistorical Analysis.Sheina Lew-Levy, Marc Malmdorf Andersen, Noa Lavi & Felix Riede - 2022 - Frontiers in Psychology 13.
    Learning to use, make, and modify tools is key to our species’ success. Researchers have hypothesized that play with objects may have a foundational role in the ontogeny of tool use and, over evolutionary timescales, in cumulative technological innovation. Yet, there are few systematic studies investigating children’s interactions with objects outside the post-industrialized West. Here, we survey the ethnohistorical record to uncover cross-cultural trends regarding hunter-gatherer children’s use of objects during play and instrumental activities. Our dataset, consisting of 434 observations (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32. Comte’s Philosophy of the Sciences: Being an Exposition of the Principles of the Cours de philosophie positive of Auguste Comte.George Henry Lewes - 1853 - G. Bell & Sons.
     
    Export citation  
     
    Bookmark   5 citations  
  33. The study of psychology. Its object , scope, and method.G. H. Lewes - 1879 - Revue Philosophique de la France Et de l'Etranger 8:642-660.
     
    Export citation  
     
    Bookmark   5 citations  
  34.  72
    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):227-246.
    Abstract‘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  
  35. 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  
  36. Consciousness and unconsciousness.Lewes George Henry - 1877 - Mind 2 (6):156-167.
  37. Aristotle: A Chapter from the History of Science, including Analyses of Aristotle’s Scientific Writings.George Henry Lewes - 1864 - Smith, Elder & Co.
  38. Consciousness and Unconsciousness.G. H. Lewes - 1877 - Mind 2:156.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  39.  3
    Bourdieu’s philosophical anthropologies: Exploring and Marxifying his framework for academic field research.Lew Zipin - forthcoming - Educational Philosophy and Theory.
    Philosophical anthropologies (PAs) – ontological assumptions about human species-nature – have long faced Foucauldian post-structural rejection of their value and legitimacy in explaining sociological problematics. In this article I endorse Bourdieu’s resistance to a post-PA momentum, arguing that PAs need assuming in sociological research. In the process, I explore PAs within Bourdieu’s research framework, including how his key empirical-analytic concepts – ‘habitus’, ‘field’, ‘illusio’ and ‘forms of capital’ – echo the PAs he assumes. Yet I argue his conceptual framework would (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  47
    European Dream The Political Theology of George W. Bush's Faith-Based Initiative.Lew Daly - 2008 - Theoria: A Journal of Social and Political Theory 55 (115):32-63.
    George W. Bush's controversial effort to direct government funds to religious social-service groups—his so-called 'faith-based initiative'—was influenced by confessional ideas about political order that are little understood in U.S. politics. Two key ideas from the Christian Democratic tradition in Europe played a formative role: the Dutch Calvinist theory of 'sphere sovereignty,' and the Catholic principle of 'subsidiarity'. This article describes what Bush set out to do with his faith-based initiative and investigates the confessional influences on this policy agenda in their (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  41.  24
    Notes.George Henry Lewes - 1876 - Mind (2):283-284.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  66
    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  
  43.  15
    Critical notices.G. H. Lewes - 1876 - Mind (1):122-125.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44.  2
    Children as agents of cultural adaptation.Sheina Lew-Levy & Dorsa Amir - forthcoming - Behavioral and Brain Sciences:1-68.
    The human capacity for culture is a key determinant of our success as a species. While much work has examined adults’ abilities to create and transmit cultural knowledge, relatively less work has focused on the role of children (approx. 3-17 years) in this important process. In the cases where children are acknowledged, they are largely portrayed as acquirers of cultural knowledge from adults, rather than cultural producers in their own right. In this paper, we bring attention to the important role (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Conscience et inconscience.G. Lewes - 1877 - Revue Philosophique de la France Et de l'Etranger 3:548.
     
    Export citation  
     
    Bookmark  
  46.  11
    Comte's Philosophy of the Sciences.George Henry Lewes - 2000 - Elibron Classics.
  47.  3
    Comte's philosophy of the sciences: an exposition of the principles of the Cours de philosophie positive.George Henry Lewes & Isidore Auguste M. Comte - 1853
    Direct download  
     
    Export citation  
     
    Bookmark  
  48.  10
    Studies of Childhood.George Henry Lewes - 1993 - Psychology Press.
    The writers of these works make the transition from folk psychology, theological views on human nature and metaphysical speculation to a more empirical and scientific study of the human mind, giving an insight into how pyschology emerged.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. Istorīi︠a︡ filosofii.George Henry Lewes - 1897 - Edited by Vladimir Dmitrievich Volʹfson.
     
    Export citation  
     
    Bookmark  
  50.  15
    L'uniformité de la nature.G. H. Lewes & Alexander Main - 1876 - Revue Philosophique de la France Et de l'Etranger 2:88 - 91.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 201