Scholarlink

<p>The article analyzes Hilbert’s early contributions to the metatheoretic concept of <i>categoricity</i> and its relation to other completeness properties of axiomatic theories. For this purpose, we present a categoricity proof of the axiom system for real analysis first sketched in his lecture course <i>Logische Prinzipien des mathematischen Denkens</i> from 1905. This result will be compared with Dedekind’s well-known categoricity theorem for arithmetic from 1888 as well as with Hilbert’s informal remarks on the completeness of his axiom system for Euclidean geometry presented in <i>Grundlagen der Geometrie</i> (1899). Given these early metatheoretical results, we will address Hilbert’s motivations for the use of categoricity arguments in the foundations of mathematics.</p>

错误：搜索内容不能为空，请输入英文关键词
错误：关键词超出字数限制，请精简
高级检索

Hilbert on categoricity and completeness

  • 期刊论文

  • 出版模式：

    开放获取

  • 发表日期：

    2025年11月28日

查看全文
  • Eduardo N. Giovannini,
  • Georg Schiemer

摘要

The article analyzes Hilbert’s early contributions to the metatheoretic concept of categoricity and its relation to other completeness properties of axiomatic theories. For this purpose, we present a categoricity proof of the axiom system for real analysis first sketched in his lecture course Logische Prinzipien des mathematischen Denkens from 1905. This result will be compared with Dedekind’s well-known categoricity theorem for arithmetic from 1888 as well as with Hilbert’s informal remarks on the completeness of his axiom system for Euclidean geometry presented in Grundlagen der Geometrie (1899). Given these early metatheoretical results, we will address Hilbert’s motivations for the use of categoricity arguments in the foundations of mathematics.