Results for 'Alexei Grinbaum'

313 found
Order:
  1. Ethics in robotics research: CERNA recommendations.Alexei Grinbaum & Raja Chatila - 2017 - IEEE Robotics and Automation Magazine (99):1-8.
    This article summarizes the recommendations concerning robotics as issued by the Commission for the Ethics of Research in Information Sciences and Technologies (CERNA), the French advisory commission for the ethics of information and communication technology (ICT) research. Robotics has numerous applications in which its role can be overwhelming and may lead to unexpected consequences. In this rapidly evolving technological environment, CERNA does not set novel ethical standards but seeks to make ethical deliberation inseparable from scientific activity. Additionally, it provides tools (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. Philosophical foundations of effective field theories.Sébastien Rivat & Alexei Grinbaum - 2020 - European Physical Journal A 56 (3).
    This survey covers some of the main philosophical debates raised by the framework of effective field theories during the last decades. It is centered on three issues: whether effective field theories underpin a specific realist picture of the world, whether they support an anti-reductionist picture of physics, and whether they provide reasons to give up the ultimate aspiration of formulating a final and complete physical theory. Reviewing the past and current literature, we argue that effective field theories do not give (...)
     
    Export citation  
     
    Bookmark   9 citations  
  3.  19
    Quantum Technologies and Society: Towards a Different Spin.Christopher Coenen, Alexei Grinbaum, Armin Grunwald, Colin Milburn & Pieter Vermaas - 2022 - NanoEthics 16 (1):1-6.
    Due primarily to technological advances over the last decade, quantum research has become a key priority area for science and technology policy all over the world. With this manifesto, we wish to prevent quantum technology from running into fiascos of implementation at the interface of science and society. To this end, we identify key stumbling blocks and propose recommendations.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  4. Reconstruction of quantum theory.Alexei Grinbaum - 2007 - British Journal for the Philosophy of Science 58 (3):387 - 408.
    What belongs to quantum theory is no more than what is needed for its derivation. Keeping to this maxim, we record a paradigmatic shift in the foundations of quantum mechanics, where the focus has recently moved from interpreting to reconstructing quantum theory. Several historic and contemporary reconstructions are analyzed, including the work of Hardy, Rovelli, and Clifton, Bub and Halvorson. We conclude by discussing the importance of a novel concept of intentionally incomplete reconstruction.
    Direct download (13 more)  
     
    Export citation  
     
    Bookmark   22 citations  
  5. Which Fine-Tuning Arguments Are Fine?Alexei Grinbaum - 2012 - Foundations of Physics 42 (5):615-631.
    Fine-tuning arguments are a frequent find in the literature on quantum field theory. They are based on naturalness—an aesthetic criterion that was given a precise definition in the debates on the Higgs mechanism. We follow the history of such definitions and of their application at the scale of electroweak symmetry breaking. They give rise to a special interpretation of probability, which we call Gedankenfrequency. Finally, we show that the argument from naturalness has been extended to comparing different models of the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  6.  20
    How device-independent approaches change the meaning of physical theory.Alexei Grinbaum - 2017 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 58:22-30.
  7.  20
    Narratives of quantum theory in the age of quantum technologies.Alexei Grinbaum - 2017 - Ethics and Information Technology 19 (4):295-306.
    Quantum technologies can be presented to the public with or without introducing a strange trait of quantum theory responsible for their non-classical efficiency. Traditionally the message was centered on the superposition principle, while entanglement and properties such as contextuality have been gaining ground recently. A less theoretical approach is focused on simple protocols that enable technological applications. It results in a pragmatic narrative built with the help of the resource paradigm and principle-based reconstructions. I discuss the advantages and weaknesses of (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  31
    Living with Uncertainty.Alexei Grinbaum & Jean-Pierre Dupuy - 2004 - Techné: Research in Philosophy and Technology 8 (2):4-25.
  9. The Distribution of Ethical Labor in the Scientific Community.Vincenzo Politi & Alexei Grinbaum - 2020 - Journal of Responsible Innovation 7:263-279.
    To believe that every single scientist ought to be individually engaged in ethical thinking in order for science to be responsible at a collective level may be too demanding, if not plainly unrealistic. In fact, ethical labor is typically distributed across different kinds of scientists within the scientific community. Based on the empirical data collected within the Horizon 2020 ‘RRI-Practice’ project, we propose a classification of the members of the scientific community depending on their engagement in this collective activity. Our (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  10.  76
    Reconstructing instead of interpreting quantum theory.Alexei Grinbaum - 2007 - Philosophy of Science 74 (5):761-774.
    A paradigmatic shift in the foundations of quantum mechanics is recorded, from interpreting to reconstructing quantum theory. Examples of reconstruction are analyzed, and conceptual foundations of the information-theoretic reconstruction developed. A concept of intentionally incomplete reconstruction is introduced to mark the novel content of research in the foundation of quantum theory. ‡Many thanks to Lucien Hardy, Jeff Bub and Bill Demopoulos for their comments. This research was supported through the ANR grant ANR-06-BLAN-0348-01. Part of this research was held at the (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  11.  52
    The nanotechnological golem.Alexei Grinbaum - 2010 - NanoEthics 4 (3):191-198.
    We give reasons for the importance of old narratives, including myths, in ethical thinking about science and technology. On the example of a legend about creating artificial men we explore the side effects of having too much success and the problem of intermediate social status of bioengineered artefacts.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12. The Old-New Meaning of Researcher’s Responsibility.Alexei Grinbaum - 2013 - Etica E Politica 15 (1):236-250.
    If the technological situation is unique, the ways to understand the contemporary moral condition are not. We link it to age-old questions: in fact, the power promised by technol-ogy only establishes a new form of human finitude. In the face of this continuity of the fundamental moral condition, we examine a number of alternative ways of thinking about the basis of responsible innovation, exploring the metaphors of quasi-parental and political responsibilities, as well as the place of virtue in innovation and (...)
     
    Export citation  
     
    Bookmark   3 citations  
  13.  37
    The effectiveness of mathematics in physics of the unknown.Alexei Grinbaum - 2019 - Synthese 196 (3):973-989.
    If physics is a science that unveils the fundamental laws of nature, then the appearance of mathematical concepts in its language can be surprising or even mysterious. This was Eugene Wigner’s argument in 1960. I show that another approach to physical theory accommodates mathematics in a perfectly reasonable way. To explore unknown processes or phenomena, one builds a theory from fundamental principles, employing them as constraints within a general mathematical framework. The rise of such theories of the unknown, which I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  35
    The effectiveness of mathematics in physics of the unknown.Alexei Grinbaum - 2017 - Synthese:1-17.
    If physics is a science that unveils the fundamental laws of nature, then the appearance of mathematical concepts in its language can be surprising or even mysterious. This was Eugene Wigner’s argument in 1960. I show that another approach to physical theory accommodates mathematics in a perfectly reasonable way. To explore unknown processes or phenomena, one builds a theory from fundamental principles, employing them as constraints within a general mathematical framework. The rise of such theories of the unknown, which I (...)
    No categories
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  66
    On the eve of the LHC: Conceptual questions in high-energy physics.Alexei Grinbaum - unknown
    We start by remarks on the scientific and societal context of today's theoretical physics. Major classes of models for physics to be explored at the LHC are then reviewed. This leads us to propose an LHC timeline and a list of potential effects on theoretical physics and the society. We then explore three conceptual questions connected with the LHC physics: symmetry (and symmetry breaking), effective field theory, and fine tuning.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  16.  44
    Quantum Theory as a Critical Regime of Language Dynamics.Alexei Grinbaum - 2015 - Foundations of Physics 45 (10):1341-1350.
    Some mathematical theories in physics justify their explanatory superiority over earlier formalisms by the clarity of their postulates. In particular, axiomatic reconstructions drive home the importance of the composition rule and the continuity assumption as two pillars of quantum theory. Our approach sits on these pillars and combines new mathematics with a testable prediction. If the observer is defined by a limit on string complexity, information dynamics leads to an emergent continuous model in the critical regime. Restricting it to a (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  27
    Moral Equivalence in the Metaverse.Alexei Grinbaum & Laurynas Adomaitis - 2022 - NanoEthics 16 (3):257-270.
    Are digital subjects in virtual reality morally equivalent to human subjects? We divide this problem into two questions bearing, respectively, on cognitive and emotional equivalence. Typically, cognitive equivalence does not hold due to the lack of substantialist indistinguishability, but emotional equivalence applies: digital subjects endowed with face or language elicit emotional responses on a par with real-world pleasure, desire, horror, or fear. This is sufficient for projecting moral traits on avatars in the metaverse or on dialog systems based on large (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  31
    Cognitive Barriers in Perception of Nanotechnology.Alexei Grinbaum - 2006 - Journal of Law, Medicine and Ethics 34 (4):689-694.
    This article is concerned with predictions of future events, such as technological achievements and changes in the human condition that they will bring about. Cognitive barriers arise when human agents are either asked or forced to make judgments and decisions with respect to unknown singular events. This article argues that barriers such as an aversion to not knowing and the impossibility to believe trump expert and ordinary human reasoning. These barriers apply to nanotechnology. To avoid undesired societal effects arising from (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  5
    Cognitive Barriers in Perception of Nanotechnology.Alexei Grinbaum - 2006 - Journal of Law, Medicine and Ethics 34 (4):689-694.
    A number of recent reports and overviews on the ethical and societal problems of nanotechnology present a public that is polarized about nanotechnology. Very little responsible analysis can be found between those poles for two reasons. First, the debate about the highly controversial notion of molecular manufacturing introduced by Eric Drexler shaped much of the early discussion. Second, the polarization can be seen as a consequence of uncertainty about nanotechnology compounded by cognitive barriers. A reporter to UNESCO acknowledges that “…Assessments (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  36
    Nanotechnological Icons.Alexei Grinbaum - 2011 - NanoEthics 5 (2):195-202.
    Modern microscopes create a capacity to see and act at the scale where unassisted human senses are powerless. Images of nanoscale phenomena represent a world that effectively intervenes in human life while remaining distant and ineffable. This combination of an unbridgeable distance between man and technology with a real power of the latter over the human condition is characteristic, not only of nanotechnology, but also of the theology of sacred icons that mediate in the knowledge of divine reality. We draw (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  21.  30
    On Epistemological Modesty.Alexei Grinbaum - 2010 - Philosophica 83 (1):139-150.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  22. Quantum Observer and Kolmogorov Complexity.Alexei Grinbaum - 2013 - In Tilman Sauer & Adrian Wüthrich (eds.), New Vistas on Old Problems. Max Planck Research Library for the History and Development of Knowledge. pp. 13.
     
    Export citation  
     
    Bookmark  
  23.  36
    Quantum Observer, Information Theory and Kolmogorov Complexity.Alexei Grinbaum - 2013 - In Hanne Andersen, Dennis Dieks, Wenceslao González, Thomas Uebel & Gregory Wheeler (eds.), New Challenges to Philosophy of Science. Springer Verlag. pp. 59--72.
  24.  5
    Responsible Research and Innovation.Alexei Grinbaum - 2013 - In Armin Grunwald (ed.), Handbuch Technikethik. Metzler. pp. 472-476.
    RRI is a science policy framework in the Horizon-2020 programme of the European Commission. The funding programme was launched in 2014, while the conceptual foundations of RRI have been laid in a series of conferences, expert meetings and publications beginning around 2011. RRI seeks to engage publics with science and technology stakeholders in a responsible, multi-dimensional dialogue on five themes called »RRI keys«: ethics, science education, open access, gender equality, and societal engagement.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  25.  1
    Reimaging the Imaginaries of Artificial Intelligence.Alexei Grinbaum - 2023 - Techné Research in Philosophy and Technology 27 (3):405-410.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  26.  10
    Philosophie et Sciences.Mario Castellana, Alexei Grinbaum, Vincent Bontems, Giovanni Carrozzini, Anne Rasmussen, Marc Pavlopoulos & Annie Bruter - 2013 - Revue de Synthèse 134 (1):125-158.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  27. From speculation to reality: enhancing anticipatory ethics for emerging technologies (ATE) in practice.Steven Umbrello, Michael J. Bernstein, Pieter E. Vermaas, Anaïs Resseguir, Gustavo Gonzalez, Andrea Porcari, Alexei Grinbaum & Laurynas Adomaitis - 2023 - Technology in Society 74:1-11.
    Various approaches have emerged over the last several decades to meet the challenges and complexities of anticipating and responding to the potential impacts of emerging technologies. Although many of the existing approaches share similarities, they each have shortfalls. This paper takes as the object of its study Anticipatory Ethics for Emerging Technologies (ATE) to technology assessment, given that it was formatted to address many of the privations characterising parallel approaches. The ATE approach, also in practice, presents certain areas for retooling, (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  28.  23
    Memories with a blind mind: Remembering the past and imagining the future with aphantasia.Alexei J. Dawes, Rebecca Keogh, Sarah Robuck & Joel Pearson - 2022 - Cognition 227 (C):105192.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  29.  35
    Nourishment and the Biosphere.Alexei A. Pokrovski & R. Scott Walker - 1979 - Diogenes 27 (107):120-127.
    “The world of life which is comprised of the lithosphere, the hydrosphere and the atmosphere”: this definition of the biosphere is not complete since it does not express the determining influence of living organisms on its composition, on its structure and on the processes of its continuing evolution. The part of living matter in the biosphere is relatively small (about 0.25%), but this part has a considerable influence on its structure.The biosphere should be considered as the universal source of all (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  30. Crônicas de um médico.Emílio Grinbaum - 1975 - Belo Horizonte: Escola Alberto Einstein.
     
    Export citation  
     
    Bookmark  
  31.  43
    The Taxon as an Ontological Problem.Alexei Oskolski - 2011 - Biosemiotics 4 (2):201-222.
    Although the term taxon is one of the most common concepts in biology, a range of its meanings cannot be comprehended by an universal definition. Usually, biologists construe their knowledge of “the same” taxon by substantially different interpretations, so they find themselves in need either to justify this “multiplication of taxon essences”, or to surmount their plurality unifying its interpretations into a single explanation of what a taxon is. In both cases, an ontological status (“reality”) of that taxon is questioned. (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Wisdom, self-consciousness, and empire.Alexei Rutkevich - 2022 - In Luis J. Pedrazuela (ed.), Alexandre Kojève: a man of influence. Lanham, Maryland: Lexington Books.
    No categories
     
    Export citation  
     
    Bookmark  
  33. Wisdom, self-consciousness, and empire.Alexei Rutkevich - 2022 - In Luis J. Pedrazuela (ed.), Alexandre Kojève: a man of influence. Lanham, Maryland: Lexington Books.
    No categories
     
    Export citation  
     
    Bookmark  
  34. A Fiduciary Argument Against Stakeholder Theory.Alexei M. Marcoux - 2003 - Business Ethics Quarterly 13 (1):1-24.
    Critics attack normative ethical stakeholder theory for failing to recognize the special moral status of shareholders that justifiesthe fiduciary duties owed to them at law by managers. Stakeholder theorists reply that there is nothing morally significant about shareholders that can underwrite those fiduciary duties. I advance an argument that seeks to demonstrate both the special moral status of shareholders in a firm and the concomitant moral inadequacy of stakeholder theory. I argue that (i) if some relations morally requirefiduciary duties, and (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   73 citations  
  35.  6
    La BFM 2022 : un corpus pour les recherches diachroniques en français médiéval et au-delà.Alexei Guillot-Barbance Lavrentiev - 2024 - Corpus 25.
    La Base de français médiéval (BFM) fait partie des corpus de français médiéval (9e-15e s.) les plus anciens et les plus utilisés par les linguistes diachroniciens et plus largement par tous ceux qui s’intéressent à l’histoire du français. Elle est le fruit d’une collaboration entre linguistes-philologues et spécialistes de la méthode textométrique implémentée dans la plateforme TXM. L’article présente un état des lieux du corpus BFM2022 focalisé sur la représentativité et l’interopérabilité des données. Il illustre l’apport des outils numériques pour (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  36.  16
    Evolution of the Modes of Systematization of Mathematical Knowledge.Alexei Barabashev - 2000 - In Emily Grosholz & Herbert Breger (eds.), The growth of mathematical knowledge. Boston: Kluwer Academic Publishers. pp. 315--329.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  2
    Sparsely populated and rural areas in the United Kingdom: measures to solve governance challenges.Alexei Langinen - 2020 - Sotsium I Vlast 6:29-39.
    Introduction. The problems of state and local governance in sparsely populated and rural areas is relevant for the Russian Federation due to the presence of depressed areas, depopulation of the countryside, small towns, monotowns, migration of the rural population to large cities, regional capitals, other regions and abroad. These processes are typical for many other modern states. Solving the problems of rural and sparsely populated areas includes providing socially significant services, protecting the health and safety of residents, developing education, creating (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  11
    An example of an automatic graph of intermediate growth.Alexei Miasnikov & Dmytro Savchuk - 2015 - Annals of Pure and Applied Logic 166 (10):1037-1048.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  39.  7
    From Past to Future: The Soviet Union and the Russian Empire in Discourses of Rupture and Continuity.Alexei I. Miller & Natalia V. Trubnikova - 2022 - Russian Studies in Philosophy 60 (5):369-381.
    In the still highly politicized question of rupture or continuity between the Russian Empire and the Soviet Union, elements of continuity are not hard to find, nor should this be a surprise, since a new state arose in the same geographical space and made use of the economic, intellectual, and demographic resources inherited from the Russian Empire. At the same time, the Soviet Union could not have been more different than the Russian Empire. It rejected a number of key elements (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  28
    The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
    We outline the Gödel-McKinsey-Tarski Theorem on embedding of Intuitionistic Propositional Logic Int into modal logic S4 and further developments which led to the Generalized Embedding Theorem. The latter in turn opened a full-scale comparative exploration of lattices of the (normal) extensions of modal propositional logic S4, provability logic GL, proof-intuitionistic logic KM, and others, including Int. The present paper is a contribution to this part of the research originated from the Gödel-McKinsey-Tarski Theorem. In particular, we show that the lattice ExtInt (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  41.  50
    Freeman and Evan.Alexei M. Marcoux - 1999 - Business Ethics Quarterly 9 (2):207-224.
    We argue that the Rawlsian social contract argument advanced for stakeholder theory by R. Edward Freeman, writing alone and with William M. Evan, fails in three main ways. First, it is true to Rawls in neither form, nor purpose, nor the level of knowledge (or ignorance) required to motivate the veil of ignorance. Second, it fails to tailor the veil of ignorance to the fairness conditions that are required to solve the moral problem that Freeman and Evan set out to (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   20 citations  
  42.  39
    The Conditions of Immanent Critique.Alexei Procyshyn - 2022 - Critical Horizons 23 (1):22-43.
    ABSTRACT This article contributes to methodological debates in contemporary critical theory regarding the scope and features of immanent critique. I spell out the philosophical commitments presupposed by this approach to criticism and identify its basic features by comparing it with more recognizable argumentative or interpretative strategies. This comparison yields three immanent-critical requirements – for inherence, contradiction, and access – which bring into relief the heuristic and ampliative character of immanent criticism. Yet, these requirements also imply that “immanent critique” is not (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  43.  44
    The mental state formalism of gmu-Bica.Alexei V. Samsonovich, Kenneth A. de Jong & Anastasia Kitsantas - 2009 - International Journal of Machine Consciousness 1 (1):111-130.
  44.  42
    Protosemiosis: Agency with Reduced Representation Capacity.Alexei A. Sharov & Tommi Vehkavaara - 2015 - Biosemiotics 8 (1):103-123.
    Life has semiotic nature; and as life forms differ in their complexity, functionality, and adaptability, we assume that forms of semiosis also vary accordingly. Here we propose a criterion to distinguish between the primitive kind of semiosis, which we call “protosemiosis” from the advanced kind of semiosis, or “eusemiosis”. In protosemiosis, agents associate signs directly with actions without considering objects, whereas in eusemiosis, agents associate signs with objects and only then possibly with actions. Protosemiosis started from the origin of life, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  45.  85
    Fundamental principles and mechanisms of the conscious self.Alexei V. Samsonovich & Lynn Nadel - 2005 - Cortex. Special Issue 41 (5):669-689.
  46.  57
    Business ethics.Alexei Marcoux - 2008 - Stanford Encyclopedia of Philosophy.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  47.  10
    Fast relaxation in disordered systems: from a double well to a cage.Alexei Sokolov & Vladimir Novikov - 2004 - Philosophical Magazine 84 (13-16):1355-1360.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  48.  20
    Normalizable linear orders and generic computations in finite models.Alexei P. Stolboushkin & Michael A. Taitslin - 1999 - Archive for Mathematical Logic 38 (4-5):257-271.
    Numerous results about capturing complexity classes of queries by means of logical languages work for ordered structures only, and deal with non-generic, or order-dependent, queries. Recent attempts to improve the situation by characterizing wide classes of finite models where linear order is definable by certain simple means have not been very promising, as certain commonly believed conjectures were recently refuted (Dawar's Conjecture). We take on another approach that has to do with normalization of a given order (rather than with defining (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  49.  17
    Y = 2x vs. Y = 3x.Alexei Stolboushkin & Damian Niwiński - 1997 - Journal of Symbolic Logic 62 (2):661-672.
    We show that no formula of first order logic using linear ordering and the logical relation y = 2x can define the property that the size of a finite model is divisible by 3. This answers a long-standing question which may be of relevance to certain open problems in circuit complexity.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  50.  15
    $Y = 2x$ vs. $y = 3x$.Alexei Stolboushkin & Damian Niwinski - 1997 - Journal of Symbolic Logic 62 (2):661-672.
    We show that no formula of first order logic using linear ordering and the logical relation $y = 2x$ can define the property that the size of a finite model is divisible by 3. This answers a long-standing question which may be of relevance to certain open problems in circuit complexity.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 313