Results 51 to 60 of about 1,029,823 (374)
Theoretical Computer Science, 2001 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Hilbert arithmetic as a Pythagorean arithmetic: arithmetic as transcendental [PDF]
SSRN Electronic Journal, 2021 The paper considers a generalization of Peano arithmetic, Hilbert arithmetic as the basis of the world in a Pythagorean manner. Hilbert arithmetic unifies the foundations of mathematics (Peano arithmetic and set theory), foundations of physics (quantum mechanics and information), and philosophical transcendentalism (Husserl’s phenomenology) into a ...
openaire +3 more sources
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic [PDF]
, 2012 We present a new syntactical proof that first-order Peano Arithmetic with Skolem axioms is conservative over Peano Arithmetic alone for arithmetical formulas.
Aschieri, Federico, Zorzi, Margherita
core +7 more sources
Proceedings of the Edinburgh Mathematical Society, 2015 AbstractWe give measure estimates for sets appearing in the study of dynamical systems, such as preimages of Diophantine classes.
openaire +4 more sources
Arithmetic, 2020 Based on TIMSS 2011 and PISA 2018, mathematical connection ability of Indonesian students has not been optimal. Some of questions in TIMSS and PISA measured the mathematical connections ability.
Ayu Mentari, Bobbi Rahman, Surya Wijaya
doaj +1 more source
Arithmetic, 2023 Mathematical creative thinking ability is an important aspect in facing the era of disruption. Based on the results of PISA and TIMSS studies, the mathematical creative thinking ability of students in Indonesia is still low. Challenge Based Learning (CBL)
Muhammad Ghozi Izzulhaq +1 more
doaj +1 more source
Eksplorasi Etnomatematika pada Motif Batik Incung Kerinci
Arithmetic, 2023 Culture can be a place to learn mathematical concepts. One culture that contains elements of mathematics is the art of batik. The various batik motifs contain mathematical elements in them.
Junita Kumala Putri +3 more
doaj +1 more source
Adult‐Onset Subacute Sclerosing Panencephalitis Presenting With Subacute Cognitive Deficits
Annals of Clinical and Translational Neurology, EarlyView.ABSTRACT We describe the case of a 41‐year‐old man diagnosed with adult‐onset subacute sclerosing panencephalitis (SSPE). The patient presented with subacute progressive cognitive deficits and a neuropsychological profile indicating predominant frontoparietal dysfunction. MRI showed only mild parietal‐predominant cerebral atrophy.
Dennis Yeow +4 more
wiley +1 more source
International Journal of Adaptive Control and Signal Processing, EarlyView.This paper proposes two projector‐based Hopfield neural network (HNN) estimators for online, constrained parameter estimation under time‐varying data, additive disturbances, and slowly drifting physical parameters. The first is a constraint‐aware HNN that enforces linear equalities and inequalities (via slack neurons) and continuously tracks the ...
Miguel Pedro Silva
wiley +1 more source
Modeling Conic Section Using Hawgent Dynamic Mathematics Software
Arithmetic, 2022 Teachers should pay attention to the deep integration of information technology and mathematics courses, so as to achieve the effect that traditional teaching methods are difficult to achieve.
Ning Yiting +3 more
doaj +1 more source