Results 1 to 10 of about 436,373 (139)
, 2018 Categorical foundations and set-theoretical foundations are sometimes presented as alternative foundational schemes. So far, the literature has mostly focused on the weaknesses of the categorical foundations.
Marquis, Jean-Pierre
core +1 more source
Wronski's Foundations of Mathematics [PDF]
Science in Context, 2016 ArgumentThis paper reconstructs Wronski's philosophical foundations of mathematics. It uses his critique of Lagrange's algebraic analysis as a vignette to introduce the problems that he raised, and argues that these problems have not been properly appreciated by his contemporaries and subsequent commentators.
openaire +2 more sources
Mathematical foundations of moral preferences [PDF]
Journal of The Royal Society Interface, 2021 One-shot anonymous unselfishness in economic games is commonly explained by social preferences, which assume that people care about the monetary payoffs of others. However, during the last ten years, research has shown that different types of unselfish behaviour, including cooperation, altruism, truth-telling, altruistic punishment, and trustworthiness
Valerio Capraro, Matjaž Perc
openaire +4 more sources
Univalent Foundations and the UniMath Library [PDF]
, 2018 We give a concise presentation of the Univalent Foundations of mathematics outlining the main ideas, followed by a discussion of the UniMath library of formalized mathematics implementing the ideas of the Univalent Foundations (section 1), and the ...
A Borel +13 more
core +3 more sources
Mathematical Foundations of Supersymmetry [PDF]
, 2011 In our exposition of mathematical SUSY, we use the language of T-points to build supermanifolds up from their foundations in graded linear algebra (superalgebra). Though our treatment is similar to the many pioneering works in supergeometry, however we prove some deeper results related to the Frobenius theorem as well as give a full treatment of ...
Carmeli C., Caston L., FIORESI, RITA
openaire +2 more sources
Mathematical foundations of consciousness
Journal of Applied Logic, 2009 We employ the Zermelo-Fraenkel Axioms that characterize sets as mathematical primitives. The Anti-foundation Axiom plays a significant role in our development, since among other of its features, its replacement for the Axiom of Foundation in the Zermelo-Fraenkel Axioms motivates Platonic interpretations. These interpretations also depend on such allied
Miranker, Willard L. +1 more
openaire +2 more sources
mizar-items: Exploring fine-grained dependencies in the Mizar Mathematical Library [PDF]
, 2011 The Mizar Mathematical Library (MML) is a rich database of formalized mathematical proofs (see http://mizar.org). Owing to its large size (it contains more than 1100 "articles" summing to nearly 2.5 million lines of text, expressing more than 50000 ...
A. Grabowski, I. Lakatos, S.G. Simpson
core +1 more source
Foundations of applied mathematics I [PDF]
Synthese, 2021 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
On the foundations of mathematics [PDF]
Bulletin of the American Mathematical Society, 1903 Mathematics.-The notion within a given domain of defining the objects of consideration rather by a body of properties than by particular expressions or intuitions is as old a5 mathematics itself. And yet the central importance of the notion appeared only during the last century-in a host of researches on special theories and on the foundations of ...
openaire +3 more sources
Norman Julius Zabusky OBITUARY [PDF]
, 2018 Norman Julius Zabusky, who laid the foundations for several critical advancements in nonlinear science and experimental mathematics, died of idiopathic pulmonary fibrosis on 5 February 2018 in Beersheba, Israel.
Campbell, David K. +2 more
core +1 more source