Results 91 to 100 of about 761 (264)
Logical Form and the Development of Russell’s Logicism [PDF]
, 2022 Logicism is the view that mathematical truths are logical truths. But a logical truth is commonly thought to be one with a universally valid form. The form of “7 \u3e 5” would appear to be the same as “4 \u3e 6”.
Klement, Kevin C.
core
O Platonismo de Russell na metafísica e na matemática
Kriterion, 2005 Neste artigo, analiso o surgimento e a superação do Platonismo em B. Russell, tanto na sua filosofia da matemática como na sua metafísica. Começo por explicitar os argumentos que levaram Russell a aderir ao chamado "Platonismo Proposicional" - posição ...
Guido Imaguire
doaj +1 more source
Integration of Low‐Voltage Nanoscale MoS2 Memristors on CMOS Microchips
Advanced Functional Materials, EarlyView.This article presents the first monolithic integration of nanoscale MoS2‐based memristors into the back‐end‐of‐line of foundry‐fabricated CMOS microchips in a one‐transistor‐one‐resistor (1T1R) architecture. The MoS2‐based 1T1R cells exhibit forming‐free, nonvolatile resistive switching with ultra‐low operating voltages, low cycle‐to‐cycle variability ...
Jimin Lee +16 more
wiley +1 more source
Advanced Functional Materials, EarlyView.Oxygen‐tunnel (OT) indium tin oxide (ITO) vertical channel transistors (VCTs) enable reliable, high‐density gain‐cell memory for monolithic 3D integration. A sandwiched SiN/SiO2/SiN OT stack selectively regulates oxygen transport, suppressing parasitic electrode oxidation while stabilizing channel oxygen vacancies, thereby suppressing carrier injection
Hyeonho Gu +17 more
wiley +1 more source
Hilbert, logicism, and mathematical existence [PDF]
, 2009 David Hilbert’s early foundational views, especially those corresponding to the 1890s, are analysed here. I consider strong evidence for the fact that Hilbert was a logicist at that time, following upon Dedekind’s footsteps in his understanding of ...
Ferreirós Domínguez, José Manuel
core +1 more source
Nóema, 2013 La critica che Ludwig Wittgenstein muove ai presupposti filosofici del dibattito sui fondamenti della matematica si estende oltre le tematiche specifiche di tale dibattito ed investe un’intera tradizione di pensiero. Dietro alle argomentazioni di Frege e
Emanuele Rainone
doaj +1 more source
Omnipolar Magnetic Field Detection by Superlattice‐Based Hall Sensor
Advanced Functional Materials, EarlyView.Magnetic‐field‐induced electronic switching is demonstrated in unit‐cell‐engineered La0.7Sr0.3MnO3–BiFeO3 superlattices. Distinct substrate terminations modify magnetic and transport properties. Hall resistance measurements show omnipolar, hysteretic anomalous Hall switching above the Curie temperature, arising from Fe─Mn interfacial exchange, enabling
Mark Huijben +6 more
wiley +1 more source
Logic frameworks for logic programs [PDF]
, 1994 We show how logical frameworks can provide a basis for logic program synthesis. With them, we may use first-order logic as a foundation to formalize and derive rules that constitute program development calculi. Derived rules may be in turn applied to synthesize logic programs using higher-order resolution during proof that programs meet their ...
openaire +3 more sources
, 2016 In his doctoral dissertation, O. Chateaubriand favored Dedekind’s analysis of the notion of number; whereas in Logical Forms, he favors a fregean approach to the topic. My aim in this paper is to examine the kind of logicism he defends.
Casanave, Abel Lassalle
core
Conceptual thinking in Hegel’s [PDF]
Argument, 2013 Analytical philosophy after Frege’s logicism and Russell’s logical atomism presupposes sortal domains of individual “entities” for which we already have defined their identities and elementary predicates. Such “things” exist only in ideal “possible world”
Pirmin STEKELER-WEITHOFER
doaj