arithmetization

This follows the kind of definitions used in the arithmetization of analysis of the preceding century, in particular, Dedekind's earlier construction of real numbers as bounded classes of rational numbers.

Logical Constructions Linsky, Bernard 2009

He forcefully shows the difference between the late nineteenth century arithmetization of analysis and the early twentieth century axiomatic-algebraic approach.

Mathematical Style Mancosu, Paolo 2009

Providing an explicit, rigorous, and fruitful definition of the real numbers constitutes a major step towards completing the arithmetization of analysis.

Dedekind's Contributions to the Foundations of Mathematics Reck, Erich 2008

The finite (and perhaps, surprisingly small) number of symbols and the availability of recursive functions conjure the thought that an arithmetization of the syntax of CL could be attempted.

Combinatory Logic Bimbó, Katalin 2008

With the work of Gödel and Tarski, paradoxical arguments were reshaped into fixed point results, while the semantic conception of truth, the formalization of semantics and the arithmetization of syntax yielded firm grounds for systematic metamathematical investigations.

Paradoxes and Contemporary Logic Cantini, Andrea 2007

In the proof of this theorem, Tarski applies arithmetization and diagonalization, hence following the Gödelian pattern.

Paradoxes and Contemporary Logic Cantini, Andrea 2007

Carnap, and Goedel elsewhere presumably, similarly undercut the distinction, according to Grattan-Guinness, with the arithmetization of syntax as presented in Logical Syntax.

Words and Other Things 2009

More directly, Dedekind's essay was tied to the arithmetization of analysis in the nineteenth century ” pursued by Cauchy, Bolzano,

Dedekind's Contributions to the Foundations of Mathematics Reck, Erich 2008