Hofstadter's problem for curious readers - Inria - Institut national de recherche en sciences et technologies du numérique
Reports (Research Report) Year : 2015

Hofstadter's problem for curious readers

Abstract

This document summarizes the proofs made during a Coq development in Summer 2015. This development investigates the function G introduced by Hofstadter in his famous "Gödel, Escher, Bach" book as well as a related infinite tree. The left/right flipped variant of this G tree has also been studied here, following Hofstadter's "problem for the curious reader". The initial G function is refered as sequence A005206 in OEIS, while the flipped version is the sequence A123070.
Fichier principal
Vignette du fichier
report.pdf (258.72 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-01195587 , version 1 (08-09-2015)
hal-01195587 , version 2 (08-09-2015)
hal-01195587 , version 3 (20-10-2015)
hal-01195587 , version 4 (16-04-2018)

Licence

Identifiers

Cite

Pierre Letouzey. Hofstadter's problem for curious readers. [Research Report] Université Paris Diderot; INRIA Paris-Rocquencourt. 2015, pp.29. ⟨hal-01195587v2⟩
541 View
1107 Download

Altmetric

Share

More