著者
新井 敏康
出版者
科学基礎論学会
雑誌
科学基礎論研究 (ISSN:00227668)
巻号頁・発行日
vol.34, no.2, pp.91-99, 2007-03-25 (Released:2010-02-03)
参考文献数
24

D. Hilbert raised the problem to prove consistency of formalized mathematics. In this paper I will expound its background and the status quo of the consistency proofs. First let me explain the intended significance of proving consistency, and a background idea to divide mathematical objects in two, i. e., transfinite/finitary objects. Next I will discuss impacts of the incompleteness theorems to the problem and their interpretation. Finally let me give sketches of the practice of the consistency proofs due to G. Gentzen et al. and their significance, and the present state of the consistency proofs.

言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

[数学] 「無矛盾性証明について」新井 敏康

Twitter (1 users, 1 posts, 1 favorites)

@ytb_at_twt @kururu_goedel『原理的には1階論理で表現できて,そこでの形式的証明が書けない数学の真理は存在しないというのが数学の「定義」になっている』と明言(https://t.co/ihvhQdaJfP)する人もいて、基礎論を数理論理学とは呼べないかもw

収集済み URL リスト