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

DOI10.1305/NDJFL/1093634481MaRDI QIDQ689206zbMATH OpenOpenAlexFDO

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

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)

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

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)