Results 11 to 20 of about 789,257 (253)
, 2002 Scaled Boolean algebras are a category of mathematical objects that arose from attempts to understand why the conventional rules of probability should hold when probabilities are construed, not as frequencies or proportions or the like, but rather as ...
Hardy, Michael
core +2 more sources
Mathematics and Probability [PDF]
Nature, 1967 Green's Function Methods in Probability Theory By Julian Keilson. (Griffin's Statistical Monographs and Courses, No. 17.) Pp. viii + 220. (London: Charles Griffin and Co., Ltd., 1965.) 40s. net.
openaire +1 more source
Random Variables and Product of Probability Spaces [PDF]
, 2013 We have been working on the formalization of the probability and the randomness. In [15] and [16], we formalized some theorems concerning the real-valued random variables and the product of two probability spaces.
Okazaki, Hiroyuki, Shidama, Yasunari
core +2 more sources
Mathematical Elements of Density Functional Theory [PDF]
, 2022 We review some of the basic mathematical results about density functional theory.
arxiv +1 more source
Opinion Exchange Dynamics [PDF]
, 2017 We survey a range of models of opinion exchange. From the introduction: "The exchange of opinions between individuals is a fundamental social interaction...
Mossel, Elchanan, Tamuz, Omer
core +4 more sources
Probability Measure on Discrete Spaces and Algebra of Real-Valued Random Variables [PDF]
, 2010 In this article we continue formalizing probability and randomness started in [13], where we formalized some theorems concerning the probability and real-valued random variables.
Agata Darmochwał +23 more
core +1 more source
Probability on Finite Set and Real-Valued Random Variables [PDF]
, 2009 In the various branches of science, probability and randomness provide us with useful theoretical frameworks. The Formalized Mathematics has already published some articles concerning the probability: [23], [24], [25], and [30].
Okazaki, Hiroyuki, Shidama, Yasunari
core +2 more sources
The introduction of probability into mathematics
Historia Mathematica, 1976 AbstractThe coincidence of two independent developments led to the mathematization of probability from Pascal to de Moivre. On the one hand there are the changing implications of probabilitas ending in a quantifiable concept, and on the other, the mathematization of chance within the area of games of chance.
openaire +2 more sources
Tracing evolutionary links between species [PDF]
, 2014 The idea that all life on earth traces back to a common beginning dates back at least to Charles Darwin's {\em Origin of Species}. Ever since, biologists have tried to piece together parts of this `tree of life' based on what we can observe today ...
Steel, Mike
core +2 more sources
The Topology-Free Construction of the Universal Type Structure for Conditional Probability Systems
, 2017 We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the belief-completeness in a
Guarino, Pierfrancesco
core +1 more source