Results 21 to 30 of about 555,393 (246)
Science Education International, 2023 This study examined the factors that determined the science achievement of fourth-grade students on the Trends in International Mathematics and Science Study (TIMSS) 2019 in the USA.
Pongprapan Pongsophon
doaj +1 more source
Five stages of accepting constructive mathematics
, 2016 On the odd day, a mathematician might wonder what constructive mathematics is all about. They may have heard arguments in favor of constructivism but are not at all convinced by them, and in any case they may care little about philosophy.
Andrej Bauer
semanticscholar +1 more source
Hermann Cohen and His Idea of the Logic of Pure Knowledge
RUDN Journal of Philosophy, 2021 Hermann Cohen, as it is well known, criticised the Kantian notion of the thing-in-itself. And before him the Kantian thing-in-itself was criticised by Fichte and other German idealists.
Zinaida A. Sokuler
doaj +1 more source
Fixed point theorems in constructive mathematics
Journal of Logic and Analysis, 2012 This paper gives the beginnings of a development of the theory of fixed point theorems within Bishop's constructive analysis. We begin with a construc- tive proof of a result, due to Borwein, which characterises when some sets have the contraction ...
Matthew Hendtlass
semanticscholar +1 more source
Contemporary Mathematics and Science Education, 2023 Mathematics classrooms are becoming increasingly diverse as a result of modernity, with different people, cultures, and perspectives on how to grasp and apply practical mathematics problems.
Emmanuel Oppong-Gyebi +2 more
semanticscholar +1 more source
Nexus Conference 2018. Relationships Between Architecture And Mathematics
Diségno, 2018 The several relationships between mathematical principles and configurative logic of architecture have made this research topic widely debated [William, Ostwald 2015].
Barbara Messina
doaj +1 more source
Social STEAM Learning at an Early Age with Robotic Platforms: A Case Study in Four Schools in Spain
Sensors, 2020 Robotics is one of the key learnings in a world where learners will interact with multiple robotic technologies and operating systems throughout their lives.
Elena Jurado +3 more
doaj +1 more source
On choice rules in dependent type theory [PDF]
, 2017 In a dependent type theory satisfying the propositions as types correspondence together with the proofs-as-programs paradigm, the validity of the unique choice rule or even more of the choice rule says that the extraction of a computable witness from an ...
Maietti, MARIA EMILIA
core +1 more source
Tegn på læring ved bruk av interaktive matematikkutstillinger ved vitensenter
Nordisk tidsskrift for pedagogikk og kritikk, 2016 Interactive exhibits at science centres are believed to have a learning effect on visitors. This study investigates two interactive exhibits concerning mathematics at the Science centre in Trondheim, Norway, to what extent they appeal to the audience ...
Nils Kr. Rossing
doaj +1 more source
Local statistics of lattice points on the sphere [PDF]
, 2015 A celebrated result of Legendre and Gauss determines which integers can be represented as a sum of three squares, and for those it is typically the case that there are many ways of doing so.
Bourgain, Jean +2 more
core +1 more source