✦ LIBER ✦

HILBERT'S FORMALISM AND ARITHMETIZATION OF MATHEMATICS

✍ Scribed by JUDSON C. Webb

Book ID: 110217305
Publisher: Springer Netherlands
Year: 1997
Tongue: English
Weight: 66 KB
Volume: 110
Category: Article
ISSN: 0039-7857
DOI: 10.1023/a:1004919107087

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

FORMALIZATION OF HILBERT'S GEOMETRY OF I

FORMALIZATION OF HILBERT'S GEOMETRY OF INCIDENCE AND PARALLELISM

✍ JAN VON Plato 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 68 KB

Hilbert's tenth problem for weak theorie

Hilbert's tenth problem for weak theories of arithmetic

✍ Richard Kaye 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 779 KB

Hilbert and the internal logic of mathem

Hilbert and the internal logic of mathematics

✍ Yvon Gauthier 📂 Article 📅 1994 🏛 Springer Netherlands 🌐 English ⚖ 941 KB

Formalization, Syntax and the Standard M

Formalization, Syntax and the Standard Model of Arithmetic

✍ Luca Bellotti 📂 Article 📅 2007 🏛 Springer Netherlands 🌐 English ⚖ 147 KB

Mathematics for Humans: Kant's Philosoph

Mathematics for Humans: Kant's Philosophy of Arithmetic Revisited

✍ Robert Hanna 📂 Article 📅 2002 🏛 John Wiley and Sons 🌐 English ⚖ 176 KB

Kolmogorov complexity and characteristic

Kolmogorov complexity and characteristic constants of formal theories of arithmetic

✍ Shingo Ibuka; Makoto Kikuchi; Hirotaka Kikyo 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 84 KB

We investigate two constants c T and r T , introduced by Chaitin and Raatikainen respectively, defined for each recursively axiomatizable consistent theory T and universal Turing machine used to determine Kolmogorov complexity. Raatikainen argued that c T does not represent the complexity of T and f