给好奇读者的 Hofstadter 问题
计算机科学中的逻辑
2018-04-18 v3 历史与综述
摘要
本文档总结了 2015 年夏季期间在一个 Coq 开发中完成的证明。该开发研究了 Hofstadter 在其著名的《Gödel, Escher, Bach》一书中引入的函数 G，以及一个相关的无限树。遵循 Hofstadter 的“给好奇读者的问题”，此处也研究了该 G 树的左右翻转变体。最初的 G 函数在 OEIS 中被称为序列 A005206，而翻转版本是序列 A123070。
引用
@article{arxiv.1509.02479,
title = {Hofstadter's problem for curious readers},
author = {Pierre Letouzey},
journal= {arXiv preprint arXiv:1509.02479},
year = {2018}
}