TOPICS
Search

Contentual Number Theory


Contentual number theory is Hilbert's term for the elementary, finitistic part of number theory in which numerals are treated as concrete finite strings of strokes and reasoning concerns directly surveyable operations on them. For example, a numeral such as ||| represents three by its displayed construction rather than by appeal to an abstract completed totality.

In Hilbert's program, contentual reasoning was intended to supply the secure metamathematical standpoint from which proofs involving ideal objects could be studied. The distinction is between contentual (inhaltlich) statements with an immediate finitistic interpretation and ideal statements introduced to simplify and systematize mathematics; it is not a distinct modern branch of number theory (Zach 2007).


See also

Metamathematics, Number Theory, Proof Theory

Explore with Wolfram|Alpha

References

Zach, R. "Hilbert's Program Then and Now." In Philosophy of Logic (Ed. D. Jacquette). Amsterdam, Netherlands: Elsevier, pp. 411-447, 2007. https://doi.org/10.1016/B978-044451541-4/50014-2.

Cite this as:

Weisstein, Eric W. "Contentual Number Theory." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/ContentualNumberTheory.html

Subject classifications