Results 31 to 40 of about 2,429 (237)
Mathematics and the real world
Koers : Bulletin for Christian Scholarship, 2000 In this article the initial discussion of the untenability of the distinction between “pure” and “applied" mathematics is followed by looking at alternative approaches regarding the relationship between mathematics and the “real world” - with ...
D.F.M. Strauss
doaj +1 more source
Comment on David Kaspar's Intuitionism [PDF]
, 2015 In his book Intuitionism, David Kaspar is after the truth. That is to say, on his view, “philosophy is the search for the whole truth” (p. 7). Intuitionism, then, “reflects that standpoint” (p. 7).
Mizrahi, Moti
core +2 more sources
Evidentialism in Farabi's Epistemology [PDF]
Theosophia IslamicaFarabi, as a philosopher who presented the Aristotelian tradition in the Islamic world in a distinctive way, combining it with Neoplatonism and Platonism, also retained a large part of Aristotelian epistemology in his own cognitive system.
Jalal Paykani
doaj +1 more source
Philosophia ScientiæPoincaré’s position is often presented as semi-intuitionist, especially in relation to his position in arithmetic. This article examines Poincaré’s relationship to an intuitionist position.
Gerhard Heinzmann
doaj +1 more source
Advanced Materials, EarlyView.Metal‐free carbon catalysts enable the sustainable synthesis of hydrogen peroxide via two‐electron oxygen reduction; however, active site complexity continues to hinder reliable interpretation. This review critiques correlation‐based approaches and highlights the importance of orthogonal experimental designs, standardized catalyst passports ...
Dayu Zhu +3 more
wiley +1 more source
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
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
'Unless' is 'Or', Unless '¬A Unless A' is Invalid
Dialectica, 2022 The proper translation of "unless" into intuitionistic formalisms is examined. After a brief examination of intuitionistic writings on "unless", and on translation in general, and a close examination of Dummett's use of "unless" in Elements of ...
Roy Cook
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
Organic Materials of Tomorrow: Horizons of Artificial Intelligence
Advanced Materials, EarlyView.This review examines machine learning techniques accelerating the discovery of organic semiconductors by linking molecular structure to properties. Key methods include graph neural networks, generative models, and active learning. Applications to organic photovoltaics demonstrate practical impact.
Harold Mena +3 more
wiley +1 more source