A hereditary base-b representation, used in the celebrated Good-stein’s theorem, can easily be converted into a labeled rooted tree. In this way it is possible to give a more elementary geometric proof of the afore-mentioned theorem and to establish a more general version, geometrically proved. This view is very useful for better understanding the underlying logical problems and the need to use transfinite induction in the proof. Similar problems will then be considered, such as the so-called “hydra game”.
GOODSTEIN’S GENERALIZED THEOREM: FROM ROOTED TREE REPRESENTATIONS TO THE HYDRA GAME
Zanardo E.
2022-01-01
Abstract
A hereditary base-b representation, used in the celebrated Good-stein’s theorem, can easily be converted into a labeled rooted tree. In this way it is possible to give a more elementary geometric proof of the afore-mentioned theorem and to establish a more general version, geometrically proved. This view is very useful for better understanding the underlying logical problems and the need to use transfinite induction in the proof. Similar problems will then be considered, such as the so-called “hydra game”.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
