Results 11 to 20 of about 1,885,937 (251)
Second-order logic : ontological and epistemological problems [PDF]
, 2015 In this thesis I provide a survey over different approaches to second-order logic and its interpretation, and introduce a novel approach. Of special interest are the questions whether (a particular form of) second-order logic can count as logic in some
Rossberg, Marcus
core +2 more sources
A neglected resolution of Russell's paradox of propositions [PDF]
, 2015 Bertrand Russell offered an influential paradox of propositions in Appendix B of "The Principles of Mathematics", but there is little agreement as to what to conclude from it.
GABRIEL UZQUIANO, Uzquiano, Gabriel
core +1 more source
Games as mathematics of logic and computation [PDF]
, 2019 Mathematical logic and theoretical computer science are the mathematical studies of logic and computation, respectively, which largely correspond to each other notably by the Curry-Howard isomorphism.
Yamada, Norihiro
core +1 more source
A spotlight on mathematics education in the Netherlands and the central role of Realistic Mathematics Education [PDF]
, 2020 In this introductory chapter I give a preview of the landscape of issues concerning mathematics education in the Netherlands and the role of Realistic Mathematics Education (RME) that one can come across in this volume, which contains the reflections of ...
Sub Mathematics Education +5 more
core +3 more sources
Normativity and its vindication: The case of Logic [PDF]
, 2004 Physical laws are irresistible. Logical rules are not. That is why logic is said to be normative. Given a system of logic we have a Norma, a standard of correctness.
Martínez Vidal, Concha +1 more
core +1 more source
EXAMINING HIGHER ORDER THINKING IN INDONESIAN LOWER SECONDARY MATHEMATICS CLASSROOMS [PDF]
, 2020 Indonesian students’ poor performance in the mathematics test of PISA 2015 prompted the decision by the Ministry of Education of Indonesia to pay more attention to the integration of higher-order thinking (HOT) in the curricula starting in 2018. This new
Doorman, L.M. +4 more
core +2 more sources
Poincaré's philosophy of mathematics [PDF]
, 2012 The primary concern of this thesis is to investigate the explicit philosophy of mathematics in the work of Henri Poincare. In particular, I argue that there is a well-founded doctrine which grounds both Poincare's negative thesis, which is based on ...
Folina, Janet
core +2 more sources
FEBS Letters, EarlyView.How do genomes gain new functional parts? In eukaryotes, which tend to evolve under weak selection, much of the genome is junk. Palazzo and Qiu borrow the logic of Markov chains to show how non‐functional DNA becomes functional through the appearance of intermediate states, which arise due to epistasis, buffering, and biochemical messiness, allowing ...
Alexander F. Palazzo, Yi Qiu
wiley +1 more source
Digital technology in mathematics education: Why it works (or doesn't) [PDF]
, 2012 The integration of digital technology confronts teachers, educators and researchers with many questions. What is the potential of ICT for learning and teaching, and which factors are decisive in making it work in the mathematics classroom? To investigate
Drijvers, Paul +3 more
core +2 more sources
Molecular Oncology, EarlyView.Single‐cell DNA methylation (scDNAme) profiling maps epimutational clonal evolution, revealing mechanisms of malignancy and therapeutic resistance across diverse cancer types. By providing a high‐resolution landscape of intratumoral heterogeneity, these technologies empower precise patient stratification, guide the development of enhanced ...
Ik Soo Kim
wiley +1 more source