|
| | | | |
| | | |
| Stat |
Members: 3645
Articles: 2'506'133
Articles rated: 2609
27 April 2024 |
|
| | | | |
|
Article overview
| |
|
|
A walk with Goodstein | | David Fernández-Duque
; Andreas Weiermann
; | | Date: |
20 Apr 2020 | | Abstract: | Goodstein’s principle is arguably the first purely number-theoretic statement
known to be independent of Peano arithmetic. It involves sequences of natural
numbers which at first appear to grow very quickly, but eventually decrease to
zero. These sequences are defined relative to a notation system based on
exponentiation for the natural numbers. In this article, we explore notions of
optimality for such notation systems and apply them to the classical Goodstein
process, to a weaker variant based on multiplication rather than
exponentiation, and to a stronger variant based on the Ackermann function. In
particular, we introduce the notion of base-change maximality, and show how it
leads to far-reaching extensions of Goodstein’s result. | | Source: | arXiv, 2004.9110 | | Services: | Forum | Review | PDF | Favorites | |
|
|
No review found.
Did you like this article?
Note: answers to reviews or questions about the article must be posted in the forum section.
Authors are not allowed to review their own article. They can use the forum section.
browser Mozilla/5.0 AppleWebKit/537.36 (KHTML, like Gecko; compatible; ClaudeBot/1.0; +claudebot@anthropic.com)
|
| |
|
|
|
|
News, job offers and information for researchers and scientists:
| |
REGISTER