Hofstadter's problem for curious readers - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2015

Hofstadter's problem for curious readers

(1, 2)
1
2

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 (245.14 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

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

Attribution - CC BY 4.0

Identifiers

Cite

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More