Results 11 to 20 of about 547,109 (305)
Metalogic and the Overgeneration Argument [PDF]
, 2019 A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood.
Florio, Salvatore, Incurvati, Luca
core +3 more sources
Grzegorczyk’s Logics. Part I [PDF]
, 2015 This article is the second in a series formalizing some results in my joint work with Prof. Joanna Golinska-Pilarek ([9] and [10]) concerning a logic proposed by Prof. Andrzej Grzegorczyk ([11]).
Huuskonen, Taneli
core +2 more sources
A non-standard analysis of a cultural icon: The case of Paul Halmos
, 2016 We examine Paul Halmos' comments on category theory, Dedekind cuts, devil worship, logic, and Robinson's infinitesimals. Halmos' scepticism about category theory derives from his philosophical position of naive set-theoretic realism.
Blaszczyk, Piotr +6 more
core +1 more source
, 2002 In this paper we explore the boundary between biology and the study of formal systems (logic). In the end, we arrive at a summary formalism, a chapter in "boundary mathematics" where there are not only containers but also extainers >
Kauffman, Louis H.
core +4 more sources
Mathematics Turned Inside Out: The Intensive Faculty Versus the Extensive Faculty [PDF]
Higher Education, vol. 61, no. 6, pp. 693-720, 2011, 2011 Research universities in the United States have larger mathematics faculties outside their mathematics departments than inside. Members of this "extensive" faculty conduct most mathematics research, their interests are the most heavily published areas of mathematics, and they teach this mathematics in upper division courses independent of mathematics ...
arxiv +1 more source
Advanced Functional Materials, EarlyView.Self‐aligned gate transistors are developed with a single‐step dielectric passivation and fine‐tuning of source/drain electrode work function using phosphonic acid self‐assembled monolayers (SAM). This transistor architecture minimizes overlap capacitances and access resistance.
Linqu Luo +16 more
wiley +1 more source
Wittgenstein on Pseudo-Irrationals, Diagonal Numbers and Decidability [PDF]
, 2008 In his early philosophy as well as in his middle period, Wittgenstein holds a purely syntactic view of logic and mathematics. However, his syntactic foundation of logic and mathematics is opposed to the axiomatic approach of modern ...
Lampert, Timm
core
Reconfigurable Three‐Dimensional Superconducting Nanoarchitectures
Advanced Functional Materials, EarlyView.3D superconducting nanostructures offer new possibilities for emergent physical phenomena. However, fabricating complex geometries remains challenging. Here 3D nanoprinting of complex 3D superconducting nanoarchitectures is established. As well as propagating superconducting vortices in 3D, anisotropic superconducting properties with geometric ...
Elina Zhakina +11 more
wiley +1 more source
Classical Mathematics for a Constructive World
, 2010 Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically supported by ...
Geuvers +8 more
core +1 more source
Optoelectronic Devices for In‐Sensor Computing
Advanced Materials, EarlyView.The raw data obtained directly from sensors in the noisy analogue domain is often unstructured, which lacks a predefined format or organization and does not conform to a specific data model. Optoelectronic devices for in‐sensor visual processing can integrate perception, memory, and processing functions in the same physical units, which can compress ...
Qinqi Ren +7 more
wiley +1 more source