Results 41 to 50 of about 437,997 (287)
Studia Humana, 2020 Two crucial concepts of the methodology and philosophy of mathematics are considered: proof and truth. We distinguish between informal proofs constructed by mathematicians in their research practice and formal proofs as defined in the foundations of ...
Murawski Roman
doaj +1 more source
Le regard de chercheurs sur l’enseignement actuel et futur des mathématiques au Chili
Revue Internationale d’Éducation de Sèvres, 2023 This article presents the context and conceptual foundations of mathematics teaching in Chile, as well as experiments carried out in the education system.
Ivonne González San Martín +2 more
doaj +1 more source
A new foundational crisis in mathematics, is it really happening?
, 2018 The article reconsiders the position of the foundations of mathematics after the discovery of HoTT. Discussion that this discovery has generated in the community of mathematicians, philosophers and computer scientists might indicate a new crisis in the ...
A J C Hurkens +23 more
core +1 more source
Sofia A. Yanovskaya: The Marxist Pioneer of Mathematical Logic in the Soviet Union [PDF]
, 2019 K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician ...
Kilakos, Dimitris
core +2 more sources
Notes on the historical conceptual streams for mathematics and physics teaching
Lietuvos Matematikos Rinkinys, 2013 Based on recent researches of mine concerning history and epistemology of sciences (physics and mathematics) one side and foundations of sciences within my physics and mathematics teaching other side, in this paper I briefly discuss and report the role ...
Raffaele Pisano
doaj +1 more source
Sets in homotopy type theory [PDF]
, 2014 Homotopy Type Theory may be seen as an internal language for the $\infty$-category of weak $\infty$-groupoids which in particular models the univalence axiom.
Rijke, Egbert, Spitters, Bas
core +3 more sources
Quotient completion for the foundation of constructive mathematics [PDF]
, 2013 We apply some tools developed in categorical logic to give an abstract description of constructions used to formalize constructive mathematics in foundations based on intensional type theory.
Maietti, Maria Emilia +1 more
core +2 more sources
An introduction to univalent foundations for mathematicians
, 2018 We offer an introduction for mathematicians to the univalent foundations of Vladimir Voevodsky, aiming to explain how he chose to encode mathematics in type theory and how the encoding reveals a potentially viable foundation for all of modern mathematics
Grayson, Daniel R.
core +1 more source
FEBS Letters, EarlyView.Biomolecular condensates formed by fused in sarcoma (FUS) are dissolved by high ATP concentrations yet persist in cells. Using a reconstituted system, we demonstrate that valosin‐containing protein (VCP), an AAA+ ATPase, counteracts ATP‐driven dissolution of FUS condensates through its D2 ATPase activity.
Hitomi Kimura +2 more
wiley +1 more source
Book Review: Logicomix by Apostolos Doxiadis, Christos H. Papadimitriou, Alecos Papadatos, and Annie di Donna [PDF]
, 2011 The first two parts of the review provide background on Russell\u27s biography and on developments in the foundations of mathematics in the early part of the twentieth century that will help the reader set Logicomix in context.
Mancosu, Paolo
core +3 more sources