Hofstadter's concept of strange loops has received formal treatment in computational and mathematical literature.
the verdict
SUPPORTED
the evidence backs this
refutedsupported
the weight of evidence
4 sources for · 0 against
AS REPORTEDno primary record reached; this is what the reporting says
Retrieved computational and mathematical literature demonstrates that Hofstadter's concept of strange loops has been explicitly integrated into formal network models, self-interpretation studies in programming languages, and machine-checked proofs.
Douglas Richard Hofstadter (born 15 February 1945) is an American cognitive and computer scientist whose research includes concepts such as the sense of self in relation to the external world, consciousness, analogy-making, strange loops, ambigrams, artificial intelligence, and discovery in mathematics and physics. His 1979 book Gödel, Escher, Bach: An Eternal Golden Braid won the Pulitzer Prize f
Douglas Richard Hofstadter (born 15 February 1945) is an American cognitive and computer scientist whose research includes concepts such as the sense of self in relation to the external world, consciousness, analogy-making, strange loops, ambigrams, artificial intelligence, and discovery in mathematics and physics. His 1979 book Gödel, Escher, Bach: An Eternal Golden Braid won the Pulitzer Prize for general nonfiction, and a National Book Award (at that time called The American Book Award) for Science. His 2007 book I Am a Strange Loop won the Los Angeles Times Book Prize for Science and Technology.
Hofstadt…
Gödel, Escher, Bach: an Eternal Golden Braid (ISBN 0-465-02656-7) (1979)
Metamagical Themas (ISBN 0-465-04566-9) (collection of Scientific American columns and other essays, all with postscripts) (1985)
Ambigrammi: un microcosmo ideale per lo studio della creatività (ISBN 88-7757-006-7) (in Italian only)
Fluid Concepts and Creative Analogies (co-authored with several of Hofstadter's graduate students) (ISBN 0-465-02475-0)
Rhapsody on a Theme by Clement Marot (ISBN 0-910153-11-6) (1995, published 1996; volume 16 of series The Grace A. Tanner Lecture in Human Values)
Le Ton beau de Marot: In Praise of the Music of Language (ISBN 0-465-08645-4)
I Am a Strange Loop (ISBN 0-465-03078-5) (2007)
Surfaces and Essences: Analogy as the Fuel and Fire of Thinking, co-authored with Emmanuel Sander (ISBN 0-465-01847-5) (first published in French as L'Analogie. Cœur de la pensée; published in English in the U.S. in April 2013)
Hofstadter, Douglas (2025). Ambigrammia Between Creat
Douglas Richard Hofstadter (born 15 February 1945) is an American cognitive and computer scientist whose research includes concepts such as the sense of self in relation to the external world, consciousness, analogy-making, strange loops, ambigrams, artificial intelligence, and discovery in mathematics and physics. His 1979 book Gödel, Escher, Bach: An Eternal Golden Braid won the Pulitzer Prize for general nonfiction, and a National Book Award (at that time called The American Book Award) for Science. His 2007 book I Am a Strange Loop won the Los Angeles Times Book Prize for Science and Technology.
Hofstadter's law is "It always takes longer than you expect, even when you take into account Hofstadter's Law." The law is stated in Gödel, Escher, Bach.
Hofstadter coined the term ambigram in 1983-1984 to define a calligraphic composition of glyphs (letters, numbers, symbols or other shapes) that can yield different meanings depending on the orientation of observation. It is a neologism composed of the Latin prefix ambi- ("both") and the Greek suffix -gram ("drawing, writing").
To explain visually the numerous types of possible ambigrams, Hofstadter created many pieces with different constraints and symmetries. Various university galleries have exhibited his work.
In 1987, a book of 200 of his ambigrams, together with a long dialogue with his alter ego Egbert G. Gebstadter on ambigrams and creativity, was published in Italy.
Hofstadter's 2025 book Ambigrammia Between Creation and Discovery ("ABCD") presents hundreds of his hand-crafted ambigrams in English, as well as a few drawn by his friends. The book is a reflection on this art form. His works of all types are presented in their historical context, with explanations of the particularities of each.
David Chalmers – Toward a Theory of Consciousness
Bob French – Tabletop: An Emergent, Stochastic Model of Analogy-Making
Gary McGraw – Letter Spirit (Part One): Emergent High-level Perception of Letters Using Fluid Concepts
Melanie Mitchell – Copycat: A Computer Model of High-Level Perception and Conceptual Slippage in Analogy-making
Gödel, Escher, Bach: an Eternal Golden Braid (ISBN 0-465-02656-7) (1979)
Metamagical Themas (ISBN 0-465-04566-9) (collection of Scientific American columns and other essays, all with postscripts) (1985)
Ambigrammi: un microcosmo ideale per lo studio della creatività (ISBN 88-7757-006-7) (in Italian only)
Fluid Concepts and Creative Analogies (co-authored with several of Hofstadter's graduate students) (ISBN 0-465-02475-0)
Rhapsody on a Theme by Clement Marot (ISBN 0-910153-11-6) (1995, published 1996; volume 16 of series The Grace A. Tanner Lecture in Human Values)
Le Ton beau de Marot: In Praise of the Music of Language (ISBN 0-465-08645-4)
I Am a Strange Loop (ISBN 0-465-03078-5) (2007)
Surfaces and Essences: Analogy as the Fuel and Fire of Thinking, co-authored with Emmanuel Sander (ISBN 0-465-01847-5) (first published in French as L'Analogie. Cœur de la pensée; published in English in the U.S. in April 2013)
Hofstadter, Douglas (2025). Ambigrammia Between Creation and Discovery (ABCD). Yale University Press. p. 320. ISBN 978-0-30-027543-8.
The Mind's I: Fantasies and Reflections on Self and Soul (co-edited with Daniel Dennett), 1981. (ISBN 0-465-03091-2, ISBN 0-553-01412-9) and (ISBN 0-553-34584-2)
Inversions, by Scott Kim, 1981. (Foreword) (ISBN
Stanford University Presidential Lecture – site dedicated to Hofstadter and his work
Douglas Hofstadter at DBLP Bibliography Server
"The Man Who Would Teach Machines to Think" by James Somers, The Atlantic, November 2013 issue
Profile at Resonance Publications
NF Reviews – bibliographic page with reviews of several of Hofstadter's books
"Autoportrait with Constraint" – a short autobiography in the form of a lipogram
GitHub repo of sourcecode & literature of Hofstadter's students work
Douglas Hofstadter on the Literature Map
Works by or about Douglas Hofstadter at the Internet Archive
Theoretical Pearls: Self-interpretation in lambda calculus | Journal of Functional Programming | Cambridge Core
Search
---
Institution Login
Search
Hostname: page-component-75d7c8f48-zbnhx Total loading time: 0 Render date: 2026-03-16T00:11:46.184Z Has data issue: false hasContentIssue false
- Français
- English
# Theoretical Pearls: Self-interpretation in lambda calculus
Published online by Cambridge University Press: 10 August 2016
Henk Barendregt
Show author details
---
*
Faculty of Mathematics and Computer Science, Catholic University, Nijmegen, Toernooiveld 1, 6525 ED Nijmegen, The Netherlands E-mail: henk@cs.kun.nl
---
Article contents
- References
- Extract
Save PDF
Save PDF (0.56 mb) View PDF Save to Dropbox Save to Google Drive Save to Kindle
Share
Cite
---
## Extract
Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.
Programming languages which are capable of interpreting themselves have been fascinating computer scientists. Indeed, if this is possible then a ‘strange loop’ (in the sense of Hofstadter, 1979) is involved. Nevertheless, th
An Adaptive Computational Network Model
for Strange Loops in Political Evolution
in Society
Julia Anten1, Jordan Earle1, and Jan Treur2(&)
1 Computational Science, University of Amsterdam,
Amsterdam, The Netherlands
juliaanten@hotmail.com, jordanalexearle@gmail.com 2 Social AI Group, Vrije Universiteit Amsterdam, Amsterdam, The Netherlands
j.treur@vu.nl
Abstract. In this paper a multi-order adaptive temporal-causal network model
is introduced to model political evolution. The computational network model
makes use of Hofstadter’s notion of a Strange Loop and was tested and validated
successfully to reflect political oscillations seen in presidential elections in the
USA over time.
1 Introduction
Hofstadter [7] originally described a Strange Loop as a phenomenon that, after going
through a hierarchy of levels, you would return to the starting level; see also [8, 9]. In
his original literature, Holfstadter illustrates this for common domains such as graphical
art (Escher), music (Bach), and logical paradoxes (Gödel) [12, 15]. Holfstadter theorised that the brain may also use Strange Loops in the creation of human intelligence
and consciousness. Although at a conceptual level much lit
# Higher-Order Reified Adaptive Network Models with a Strange Loop
Studies in systems, decision and control. Published: 2019-11-01. Book chapter. 0 citations.
## Authors
- Jan Treur (Vrije Universiteit Amsterdam): h-index 51; 12,833 citations; corresponding author
## Topics
- Opinion Dynamics and Social Influence
- Mental Health Research Topics
- Embodied and Extended Cognition
---
# Higher-order reified adaptive network models with a strange loop
## Abstract
In this chapter, as in Chap. 7, the challenge of exploring plausible reified network models of order higher than two is addressed. This time another less usual option for application was addressed: the notion of Strange Loop which from a philosophical perspective sometimes is claimed to be at the basis of human intelligence and consciousness. This notion will be illustrated by examples from music, graphic art and paradoxes, and by Hofstadter's claims about how Strange Loops apply to the brain. A reified adaptive network model of order higher than 2 was found, that even can be considered as being of infinite order. An example simulation shows the upward and downward interactions between the different levels, together w
Everything we examined (4)
This check searched the claim as stated. It did not run a separate search for evidence against it.