What evidence is there that 2⁶⁵⁵³⁶ is a natural number?

DOI10.1305/NDJFL/1093634481zbMATH Open0795.03088OpenAlexW2129658725MaRDI QIDQ689206FDOQ689206

Authors: David Isles 

Publication date: 6 December 1993

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093634481

Recommendations

• First-order reasoning and primitive recursive natural number notations
• Definition of the concept of natural numbers and its existence theorem. Solution of Hilbert's second problem
• Epsilon substitution method for elementary analysis
• Hilbert's program and the omega-rule
• Study on the new axiomatic method giving the solutions of Hilbert's 2nd and 6th problems

zbMATH Keywords

number theorydinitary foundations

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Proof theory and constructive mathematics (03F99) Connections of number theory and logic (11U99)

Cited In (6)

• The logic of justified belief, explicit knowledge, and conclusive evidence
• A finite analog to the Löwenheim-Skolem theorem
• Strict finitism and feasibility
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
• Hypercomputation by definition
• First-order reasoning and primitive recursive natural number notations

This page was built for publication: What evidence is there that \(2^{\land}65536\) is a natural number?

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q689206)