axiomatization

This reflects changes within math itself, where formal axiomatization is now out of fashion and things like computer simulation are much more used.

Memetic Suicide, Bryan Caplan | EconLog | Library of Economics and Liberty 2009

There were efforts — by Peano and so on — to come up with definitive axiomatization of mathematics.

Wolfram Blog : Stephen Wolfram on the Quest for Computable Knowledge 2009

Yet a fourth response was embodied in Ernst Zermelo's 1908 axiomatization of set theory.

Russell's Paradox Irvine, A. D. 2009

On the other hand one was familiar with Hilbert's axiomatization of geometry which, although rigorous, did not have the character of artificiality of the constructive theories.

Mathematical Style Mancosu, Paolo 2009

Let T be a standard, first-order axiomatization of set theory.

Skolem's Paradox Bays, Timothy 2009

According to Huntington (1933), the term “Boolean algebra” was introduced by Sheffer (1913) in the paper where he showed that one could give a five-equation axiomatization of Boolean algebra using the single fundamental operation of joint exclusion, now known as the Sheffer stroke.

The Algebra of Logic Tradition Burris, Stanley 2009

Not only did he anticipate Heisenberg's Uncertainty Principle, and set out a finite axiomatization of arithmetic before Peano did, and the basis axiomatic set theory before Zermelo did, but also his notation and terminology were readable and suggestive, giving future logicians a better language to work in than the clunky terms of the Germans.

Pragmatic inquiry Daniel Little 2009

The axiomatization of theories has modified very deeply the style of contemporary mathematical writings.

Mathematical Style Mancosu, Paolo 2009

Powers: first axiomatization of logic; knowledge of eternal, immaterial entities

July 5th, 2007 wheatland_press 2007

Another example mentioned by Chevalley is the axiomatization of field theory given by Steinitz in 1910.

Mathematical Style Mancosu, Paolo 2009