Hofstadter's problem for curious readers

Pierre Letouzey 1, 2, *
* Corresponding author
2 PI.R2 - Design, study and implementation of languages for proofs and programs
PPS - Preuves, Programmes et Systèmes, Inria Paris-Rocquencourt, UPD7 - Université Paris Diderot - Paris 7, CNRS - Centre National de la Recherche Scientifique : UMR7126
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.
Complete list of metadatas

https://hal.inria.fr/hal-01195587
Contributor : Pierre Letouzey <>
Submitted on : Tuesday, September 8, 2015 - 6:30:41 PM
Last modification on : Friday, January 4, 2019 - 5:33:25 PM
Long-term archiving on : Monday, December 28, 2015 - 10:54:18 PM

Files

report.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

  • HAL Id : hal-01195587, version 2
  • ARXIV : 1509.02479

Citation

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

Share

Metrics

Record views

153

Files downloads

494