What evidence is there that \(2^{\land}65536\) is a natural number?
From MaRDI portal
Publication:689206
DOI10.1305/ndjfl/1093634481zbMath0795.03088OpenAlexW2129658725MaRDI QIDQ689206
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
Foundations of classical theories (including reverse mathematics) (03B30) Proof theory and constructive mathematics (03F99) Connections of number theory and logic (11U99)
Related Items (6)
On V.A. Yankov’s Contribution to the History of Foundations of Mathematics ⋮ A finite analog to the Löwenheim-Skolem theorem ⋮ The logic of justified belief, explicit knowledge, and conclusive evidence ⋮ Strict finitism and feasibility ⋮ 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?
