Hofstadter's problem for curious readers - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 2015

Hofstadter's problem for curious readers

Résumé

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
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et 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

Identifiants

Citer

Pierre Letouzey. Hofstadter's problem for curious readers. [Research Report] Université Paris Diderot; INRIA Paris-Rocquencourt. 2015, pp.29. ⟨hal-01195587v4⟩
495 Consultations
1071 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More