Results 231 to 240 of about 13,279 (258)
TOWARD A MINIMALIST FOUNDATION FOR CONSTRUCTIVE MATHEMATICS
, 2005 The two main views in modern constructive mathematics usually associated with constructive type theory and topos theory are compatible with the classical view, but they are incompatible with each other, in a sense explained by some specific results which
Maria Emilia Maietti +2 more
exaly +2 more sources
Markov's constructive analysis; a participant's view
Theoretical Computer Science, 1999 A review, or rather an essay on Markov's Constructive Analysis and Constructive Mathematics in comparison with other major trends in Constructivism and Computable ...
Boris A. Kushner, Kushner, Boris A.
exaly +2 more sources
Some of the next articles are maybe not open access.
Related searches:
Related searches:
ZDM, 2019
This paper examines proof constructions in group work in the field of linear algebra teaching at the university level. Studies have shown that students at tertiary level have difficulties in understanding different kinds of quantifiers, which are fundamental in linear algebra proof constructions.
openaire +1 more source
This paper examines proof constructions in group work in the field of linear algebra teaching at the university level. Studies have shown that students at tertiary level have difficulties in understanding different kinds of quantifiers, which are fundamental in linear algebra proof constructions.
openaire +1 more source
2019
Two factors involved in producing quality research in mathematics education are discussed in this chapter: navigating the role of the self and engaging with others. These factors have the potential to motivate patience and persistence in a quest for quality while building from a researcher’s views of others’ ideas rather than being subsumed by them ...
openaire +1 more source
Two factors involved in producing quality research in mathematics education are discussed in this chapter: navigating the role of the self and engaging with others. These factors have the potential to motivate patience and persistence in a quest for quality while building from a researcher’s views of others’ ideas rather than being subsumed by them ...
openaire +1 more source
Mathematical Practice 3: Construct Viable Arguments and Critique the Reasoning of Others
2023openaire +2 more sources
Predicativity and Constructive Mathematics
Boston Studies in the Philosophy and History of Science, 2021Laura Crosilla
exaly
Morse set theory as a foundation for constructive mathematics
Theoretical Computer Science, 2022Douglas S Bridges
exaly
Can Constructive Mathematics be Applied in Physics?
Journal of Philosophical Logic, 1999Douglas S Bridges, Bridges Douglas S
exaly
Constructive mathematics: a foundation for computable analysis
Theoretical Computer Science, 1999Douglas S Bridges
exaly