Arithmetic terms can encode undecidable problems, chaotic dynamics like the logistic map, and Turing-universal functions, with an application to bounded proof search.
Mendelson.Introduction to Mathematical Logic
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Undecidability, Chaos and Universality in Arithmetic Terms
Arithmetic terms can encode undecidable problems, chaotic dynamics like the logistic map, and Turing-universal functions, with an application to bounded proof search.