He also proposed ( 2008 ) a more general axiomatic theory of locally finite topological spaces and abstract cell complexes formerly suggested by Steinitz ( 1908 ).
12.
According to the incompleteness theorems, a powerful-enough consistent axiomatic theory is incomplete, meaning the truth of some of its propositions cannot be established within its formalism.
13.
The formalization of arithmetic ( the theory of natural numbers ) as an axiomatic theory started with Peirce in 1881 and continued with Richard Dedekind and Giuseppe Peano in 1888.
14.
In arc pair grammar, linguistic laws and language-specific rules of grammar are formalized in the same manner, namely, as logical statements in an axiomatic theory.
15.
It is a possible source of developments in John Wallis, " Mathesis Universalis " ( 1657 ), relating to geometric progressions treated as an axiomatic theory.
16.
:Many " basic and advanced " branches of mathematics, such as topology, ring theory, group theory, field theory ( and so forth ) are axiomatic theories.
17.
The second edition of this book provided an axiomatic theory of utility, which reincarnated Daniel Bernoulli's old theory of utility ( of the money ) as an independent discipline.
18.
For the degree, she submitted two papers, " Algebraic Models of Axiomatic Theories " and " Constructive Theories ", which together formed a thesis named " Algebraic Models of Elementary Theories and their Applications ".
19.
Axiomatically determined functional models of LGN cells have been determined by Lindeberg in terms of Laplacian of Gaussian kernels over the spatial domain in combination with temporal derivatives of either non-causal or time-causal scale-space kernels over the temporal domain ( see axiomatic theory of receptive fields ).
20.
Axiomatically determined functional models of simple cells in V1 have been determined by Lindeberg in terms of directional derivatives of affine Gaussian kernels over the spatial domain in combination with temporal derivatives of either non-causal or time-causal scale-space kernels over the temporal domain ( see axiomatic theory of receptive fields ).
