Results 61 to 70 of about 3,412,246 (356)
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
Advanced Functional Materials, EarlyView.From a database of 170 pentagonal 2D materials, 4 candidates exhibiting altermagnetic ordering are screened. Furthermore, the spin‐splitting and unconventional boundary states in the pentagonal 2D altermagnetic monolayer MnS2 are investigated. A MnS2‐based altermagnetic tunneling junction is designed and, through ab initio quantum transport simulations,
Jianhua Wang +8 more
wiley +1 more source
Configural reasoning as coordination of visualisation process
Enseñanza de las Ciencias, 2011 This study identifies visualisation processes in student primary teachers when they solve geometry problems requiring mathematical proof, in a pencil-and-paper environment.
Germán Torregrosa-Gironés +2 more
doaj +1 more source
The Role of the Mizar Mathematical Library for Interactive Proof Development in Mizar
Journal of automated reasoning, 2017 The Mizar system is one of the pioneering systems aimed at supporting mathematical proof development on a computer that have laid the groundwork for and eventually have evolved into modern interactive proof assistants.
G. Bancerek +6 more
semanticscholar +1 more source
Rapid Diagnostics of Reconfigurable Intelligent Surfaces Using Space‐Time‐Coding Modulation
Advanced Functional Materials, EarlyView.A fast reconfigurable‐intelligent‐surface (RIS) diagnostics method is proposed based on spatio‐temporal modulation with orthogonal codes. Theoretical analysis demonstrates a clear distinction in code channel power between normal and faulty elements. Simulations validate its feasibility under high fault ratios and varying receiving angles.
Yi Ning Zheng +7 more
wiley +1 more source
Enhancing mathematical proof skills in teacher education through etymology-based learning approaches
Indonesian Journal of Science and Mathematics EducationThis study aims to enhance students' understanding of mathematical proof through the etymology-based learning method. The research employs a descriptive approach to observe and analyze students' mathematical proof patterns in various contexts.
Mohamad Rifat +2 more
doaj +1 more source
, 1991 This paper addresses the question of how we can understand reasoning in general and mathematical proofs in particular. It argues the need for a high-level understanding of proofs to complement the low-level understanding provided by Logic.
Bundy, Alan
core +1 more source
The Hierarchical Structure of Sheep Wool and Its Impact on Physical Properties
Advanced Functional Materials, EarlyView.Sheep wool, a prevalent α‐keratinous fiber, is an essential model for studying protein‐based fibers. Its genetic diversity across breeds enables the establishment of multiscale structure‐property relationships, uncovering previously elusive insights into wool's hierarchical structure.
Serafina R. France Tribe +9 more
wiley +1 more source
Proofs Versus Experiments: Wittgensteinian Themes Surrounding the Four-Color Theorem [PDF]
, 2017 The Four-Colour Theorem (4CT) proof, presented to the mathematical community in a pair of papers by Appel and Haken in the late 1970's, provoked a series of philosophical debates.
Secco, G. D.
core
Evidence, Proofs, and Derivations [PDF]
, 2019 The traditional view of evidence in mathematics is that evidence is just proof and proof is just derivation. There are good reasons for thinking that this view should be rejected: it misrepresents both historical and current mathematical practice ...
Aberdein, Andrew
core +2 more sources