Results 41 to 50 of about 8,918 (283)
Kripkenstein from the mathematical point of view: a preliminary survey [PDF]
, 2016 This paper deals with the problem of the impact of Kripke’s skeptical paradox on the philosophy of mathematics. By perceiving mathematics as a huge rule-following discipline, one could argue that the Kripkean nonfactualist thesis should be adopted ...
Janik, Bartosz
core
Advanced Materials, EarlyView.Magnetic tunnel junctions (MTJs) using MgO tunnel barriers face challenges of high resistance‐area product and low tunnel magnetoresistance (TMR). To discover alternative materials, Literature Enhanced Ab initio Discovery (LEAD) is developed. The LEAD‐predicted materials are theoretically evaluated, showing that MTJs with dusting of ScN or TiN on ...
Sabiq Islam +6 more
wiley +1 more source
THE PHILOSOPHY OF INTUITIONIST MATHEMATICS
Вестник Донского государственного технического университета, 2018 The article covers the main problems of intuitionist mathematics which appeared in the late 19th century-early 20th century. Among them are the problems of existence in mathematics, the problem of substantiation of mathematics, epistemological methods of
S.I. MASALOVA
doaj
Leibniz entre logicisme, formalisme et intuitionnisme ?
Philosophia ScientiæLeibniz has often been presented as one of the precursors of logicism or formalism but more rarely a precursor of intuitionism. He was a staunch defender of the Tertium non datur, reasoning in forma and blind thought, so at first glance he appears far ...
David Rabouin
doaj +1 more source
Intuitionism and the Modal Logic of Vagueness [PDF]
, 2020 Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism
Bobzien, Susanne, Rumfitt, Ian
core +1 more source
Advanced Materials, EarlyView.Residual magnetization induces pronounced mechanical anisotropy in ultra‐soft magnetorheological elastomers, shaping deformation and actuation even without external magnetic fields. This study introduces a computational‐experimental framework integrating magneto‐mechanical coupling into topology optimization for designing soft magnetic actuators with ...
Carlos Perez‐Garcia +3 more
wiley +1 more source
Computability and analysis: the legacy of Alan Turing
, 2009 We discuss the legacy of Alan Turing and his impact on computability and analysis.Comment: 49 ...
Avigad, Jeremy, Brattka, Vasco
core +2 more sources
De Rerum Natura: How Do Halide Perovskites Self‐Heal From Damage?
Advanced Materials, EarlyView.How can lead‐halide‐perovskites self‐heal after damage from light, heat, mechanical strain, or radiation? We show that reversible chemical defects underly performance losses and recovery, highlighting the roles of halide and proton migration, redox‐driven reactions, and acid‐base equilibria.
Davide Raffaele Ceratti +2 more
wiley +1 more source
From Intuitionism to Brouwer's Modal Logic
Bulletin of the Section of Logic, 2020 We try to translate the intuitionistic propositional logic INT into Brouwer's modal logic KTB. Our translation is motivated by intuitions behind Brouwer's axiom p →☐◊p The main idea is to interpret intuitionistic implication as modal strict implication ...
Zofia Kostrzycka
doaj +1 more source
Advanced Materials, EarlyView.This review highlights the role of self‐assembled monolayers (SAMs) in perovskite solar cells, covering molecular engineering, multifunctional interface regulation, machine learning (ML) accelerated discovery, advanced device architectures, and pathways toward scalable fabrication and commercialization for high‐efficiency and stable single‐junction and
Asmat Ullah, Ying Luo, Stefaan De Wolf
wiley +1 more source