Hofstadter's problem for curious readers

Pierre Letouzey 1, 2, *
* Auteur correspondant
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.
Type de document :
Rapport
[Research Report] Université Paris Diderot; INRIA Paris-Rocquencourt. 2015, pp.29
Liste complète des métadonnées

Littérature citée [3 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01195587
Contributeur : Pierre Letouzey <>
Soumis le : mardi 20 octobre 2015 - 01:26:15
Dernière modification le : jeudi 15 novembre 2018 - 20:27:28
Document(s) archivé(s) le : vendredi 28 avril 2017 - 08:04:03

Fichiers

report.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

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

Collections

PPS

Citation

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

Partager

Métriques

Consultations de la notice

311

Téléchargements de fichiers

224