Worms, gaps, and hydras
✍
Lorenzo Carlucci
📂
Article
📅
2005
🏛
John Wiley and Sons
🌐
English
⚖ 173 KB
We define a direct translation from finite rooted trees to finite natural functions which shows that the Worm Principle introduced by Lev Beklemishev is equivalent to a very slight variant of the well-known Kirby-Paris' Hydra Game. We further show that the elements in a reduction sequence of the Wor