Results 61 to 70 of about 1,004,933 (340)
On a Perceived Expressive Inadequacy of Principia Mathematica [PDF]
, 2011 This paper deploys a Cantor-style diagonal argument which indicates that there is more possible mathematical content than there are propositional functions in Russell and Whitehead's Principia Mathematica and similar formal systems. This technical result
Öztürk, Burkay T.
core
The Sessions on Induction and Probability at the 1935 Paris Congress: An overview
Philosophia Scientiæ, 2018 The First International Congress for the Unity of Science (Congrès international de philosophie scientifique) held in Paris in 1935 hosted two sessions devoted to “Induction” and “Probability” respectively. Outstanding representatives of the movement for
Maria Carla Galavotti
doaj +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
Synchrotron Radiation for Quantum Technology
Advanced Functional Materials, EarlyView.Materials and interfaces underpin quantum technologies, with synchrotron and FEL methods key to understanding and optimizing them. Advances span superconducting and semiconducting qubits, 2D materials, and topological systems, where strain, defects, and interfaces govern performance.
Oliver Rader +10 more
wiley +1 more source
Logical Concepts and Logical Inferences
Dialectica, 2004 Some philosophers find the following thesis attractive: for every logical constant C there is a set of logical rules of inference R such that a subject knows the meaning of C if and only if she accepts the rules in R. I point out some obvious but, apparently, easily forgotten difficulties concerning this thesis.
openaire +2 more sources
A Temporal Logic for Programmable Logic Controllers
Automatic Control and Computer Sciences, 2020 We address the formal verification of the control software of critical systems, i.e., ensuring the absence of design errors in a system with respect to requirements. Control systems are usually based on industrial controllers, also known as Programmable Logic Controllers (PLCs).
Natalia Olegovna Garanina +6 more
openaire +4 more sources
Advanced Functional Materials, EarlyView.An all‐in‐one analog AI accelerator is presented, enabling on‐chip training, weight retention, and long‐term inference acceleration. It leverages a BEOL‐integrated CMO/HfOx ReRAM array with low‐voltage operation (<1.5 V), multi‐bit capability over 32 states, low programming noise (10 nS), and near‐ideal weight transfer.
Donato Francesco Falcone +11 more
wiley +1 more source
The Julius Caesar objection [PDF]
, 1997 This paper argues that that Caesar problem had a technical aspect, namely, that it threatened to make it impossible to prove, in the way Frege wanted, that there are infinitely many numbers.
Heck, Richard
core
Matemática, física y realidad en la obra de Manuel Atria
Síntesis. Revista de FilosofíaThe interests of the Chilean engineer and philosopher Manuel Atria Ramírez cover a variety of subjects and disciplines, but most of his published work focuses on philosophy of mathematics and physics.
Juan Eduardo Carreño Pavez +2 more
doaj +1 more source