Results 281 to 290 of about 21,604 (312)
Some of the next articles are maybe not open access.
Mathematical Foundation of Computer Arithmetic
IEEE Transactions on Computers, 1975During recent years a number of papers concerning a mathematical foundation of computer arithmetic have been written. Some of these papers are still unpublished. The papers consider the spaces which occur in numerical computations on computers depending on a properly defined computer arithmetic. The following treatment gives a summary of the main ideas
openaire +1 more source
CATEGORICAL FOUNDATIONS OF MATHEMATICS OR HOW TO PROVIDE FOUNDATIONS FORABSTRACTMATHEMATICS
The Review of Symbolic Logic, 2012AbstractFeferman’s argument presented in 1977 seemed to block any possibility for category theory to become a serious contender in the foundational game. According to Feferman, two obstacles stand in the way: one logical and the other psychological. We address both obstacles in this paper, arguing that although Feferman’s argument is indeed convincing ...
openaire +2 more sources
The Calculus of Relations as a Foundation for Mathematics
Journal of Automated Reasoning, 2007zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
II.—MATHEMATICS AND ITS FOUNDATIONS
Mind, 1938zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
One Mathematic(s) or Many? Foundations of Mathematics in 20th Century Mathematical Practice
2021Rodin Andrei
exaly
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
Outstanding Contributions To Logic, 2022Ioannis Vandoulakis
exaly
Korean Primary School Teachers' Conceptions of Foundations and Creativity in Mathematics
The Mathematical Education, 2013Mangoo Park
exaly
Logical Foundations of Mathematics and Computational Complexity
Springer Monographs in Mathematics, 2013Pavel Pudlák
exaly