Results 91 to 100 of about 250,917 (320)
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
Applying Formal Methods to Networking: Theory, Techniques and Applications [PDF]
, 2013 Despite its great importance, modern network infrastructure is remarkable for the lack of rigor in its engineering. The Internet which began as a research experiment was never designed to handle the users and applications it hosts today.
Hasan, Osman, Qadir, Junaid
core +1 more source
2D Magnetic and Topological Quantum Materials and Devices for Ultralow Power Spintronics
Advanced Functional Materials, EarlyView.2D magnets and topological quantum materials enable ultralow‐power spintronics by combining robust magnetic order with symmetry‐protected, Berry‐curvature‐driven transport. Fundamentals of 2D anisotropy and spin‐orbit‐coupling induced band inversion are linked to scalable growth and vdW stacking.
Brahmdutta Dixit +5 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
Review of C. S. Jenkins, _Grounding Concepts: An Empirical Basis for Arithmetical Knowledge_ [PDF]
, 2010 This book is written so as to be ‘accessible to philosophers without a mathematical background’. The reviewer can assure the reader that this aim is achieved, even if only by focusing throughout on just one example of an arithmetical truth, namely ‘7+5 ...
Tennant, Neil
core +2 more sources
Revealing the Face of Isis [PDF]
, 2014 This reply to Gash’s (Found Sci 2014) commentary on Nescolarde-Selva and Usó-Doménech (Found Sci 2014b) answers the questions raised and at the same time opens up new ...
Nescolarde-Selva, Josué Antonio +1 more
core +2 more sources
Advanced Functional Materials, EarlyView.Automat optical inspection (AOI) techniques in semiconductor fabrication can be leveraged in battery manufacturing, enabling scalable detection and analysis of electrode‐ and cell‐level imperfections through AI‐driven analytics and a digital‐twin framework.
Jianyu Li, Ertao Hu, Wei Wei, Feifei Shi
wiley +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
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
Photon Avalanching Nanoparticles: The Next Generation of Upconverting Nanomaterials?
Advanced Functional Materials, EarlyView.This Perspective outlines the mechanistic foundations that enable photon‐avalanche (PA) behavior in lanthanide nanomaterials and contrasts them with emerging application spaces and forward‐looking design strategies. By bridging threshold engineering, energy‐transfer dynamics, and materials engineering, we provide a coherent roadmap for advancing the ...
Kimoon Lee +7 more
wiley +1 more source