Based on this axiomatization
of two-person games, we wrote a computer program (Tang and Lin 2011a) that generates many interesting theorems.
Van Den Brink, "Axiomatization
of a class of share functions for n-person games," Theory and Decision, vol.
Szwarc, "On axiomatization
of inconsistency indicators for pairwise comparisons," Fundamenta Informaticae, vol.
Hence, this axiomatization
leads to an indeterminacy regarding which the new system is.
of quantum mechanics performing Von Neumann is performed using Hilbert spaces to display equivalence between the two schemes proposed by Heisenberg and Schrodinger.
of classes and property restrictions can also be translated into first-order logic.
Novick, "An axiomatization
of the median procedure on the n-cube," Discrete Applied Mathematics, vol.
: [mathematical expression not reproducible], the identity operator of [??] on [??], satisfying
It breaks down the mental automatisms generated by common day to day personal experience and it uses mathematical models and other specific methods, such as modeling, formalizing or axiomatization
. What is important to note is that the products of scientific knowledge are always verifiable, though not always verified.
In 1888, Giuseppe Peano established the axiomatization
of mathematics (an axiom is an empirical rule established in certain fields, and used without exceptions universally).
Although some of the cast are familiar, this section of the book brings out rather well the part of this debate in the early 1950s that took place around how to interpret the axiomatization
of expected utility theory.
of cumulative prospect theory for decision under risk.