Results 1 to 10 of about 3,419 (260)
From exchangeability to rational belief: a cognitive interpretation of de Finetti’s theorem [PDF]
Frontiers in PsychologyProbabilistic reasoning is central to many theories of human cognition, yet its foundations are often presented through abstract mathematical formalisms disconnected from the logic of belief and learning. In this article, we propose a reinterpretation of
Tommaso Costa +2 more
doaj +2 more sources
Chinese Research on Mathematical Logic and the Foundations of Mathematics
Asian Studies, 2022 This paper outlines the Chinese research on mathematical logic and the foundations of mathematics. Firstly, it presents the introduction and spread of mathematical logic in China, especially the teaching and translation of mathematical logic initiated ...
Hongguang Wang, Guoping Du
doaj +2 more sources
Foundations of Mathematics and Mathematical Practice. The Case of Polish Mathematical School
Studia Historiae Scientiarum, 2022 The foundations of mathematics cover mathematical as well as philosophical problems. At the turn of the 20th century logicism, formalism and intuitionism, main foundational schools were developed.
Jan Woleński
doaj +1 more source
IVAN SLESHYNSKY AS A POPULARIZER OF THE IDEAS OF MATHEMATICAL LOGIC IN UKRAINE
Вісник Харківського національного університету імені В.Н. Каразіна. Серія Філософія, філософські перипетії, 2020 The first half of the twentieth century was marked by the simultaneous development of logic and mathematics. Logic offered the necessary means to justify the foundations of mathematics and to solve the crisis that arose in mathematics in the early ...
Marianna P. Plakhtiy
doaj +1 more source
From Boolean Valued Analysis to Quantum Set Theory: Mathematical Worldview of Gaisi Takeuti
Mathematics, 2021 Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open problems ...
Masanao Ozawa
doaj +1 more source
Provide a decision support system for locating new businesses (Ccase study: Locating toy manufacturing) [PDF]
Journal of Information Technology Management, 2015 Concept of locating business units includes the most important factors in their success and one the most competitive advantage of industrial units. Entrepreneurs have been considered in this context, and different mathematical models have been developed.
Amirhossein Rahbar +2 more
doaj +1 more source
Another Journal on Mathematical Logic and Mathematical Physics?
Axioms, 2011 It is my great pleasure to welcome you to Axioms: Mathematical Logic and Mathematical Physics, a new open access journal, which is dedicated to the foundations (structure and axiomatic basis, in particular) of mathematical and physical theories, not only
Angel Garrido
doaj +1 more source
Quantum, 2021 Gate set tomography (GST) is a protocol for detailed, predictive characterization of logic operations (gates) on quantum computing processors. Early versions of GST emerged around 2012-13, and since then it has been refined, demonstrated, and used in a ...
Erik Nielsen +5 more
doaj +1 more source
Hermann Cohen’s logic of the pure knowledge as a philosophy of science
RUDN Journal of Philosophy, 2022 The connection of Hermann Сohen’s “The Logic of Pure Knowledge” with the revolutionary transformations in physics and mathematics at the end of the 19th century is shown. Сohen criticised Kant’s answer to the question “How is mathematics possible”?
Zinaida A. Sokuler
doaj +1 more source
Second-Order Logic and Foundations of Mathematics [PDF]
Bulletin of Symbolic Logic, 2001 AbstractWe discuss the differences between first-order set theory and second-order logic as a foundation for mathematics. We analyse these languages in terms of two levels of formalization. The analysis shows that if second-order logic is understood in its full semantics capable of characterizing categorically central mathematical concepts, it relies ...
openaire +1 more source