Abstract
Abstract
A "quine" is a deterministic program that prints itself. In this essay, I will show you a "gauguine": a probabilistic program that infers itself. A gauguine is repeatedly asked to guess its own source code. Initially, its chances of guessing correctly are of course minuscule. But as the gauguine observes more and more of its own previous guesses, it detects patterns of behavior and gains information about its inner workings. This information allows it to bootstrap self-knowledge, and ultimately discover its own source code. We will discuss how—and why—we might write a gauguine, and what we stand to learn by constructing one.
AI Summary
AI-Generated Summary (Experimental)
This summary was generated using automated tools and was not authored or reviewed by the article's author(s). It is provided to support discovery, help readers assess relevance, and assist readers from adjacent research areas in understanding the work. It is intended to complement the author-supplied abstract, which remains the primary summary of the paper. The full article remains the authoritative version of record. Click here to learn more.
Click here to comment on the accuracy, clarity, and usefulness of this summary. Doing so will help inform refinements and future regenerated versions.
To view this AI-generated plain language summary, you must have Premium access.
Formats available
You can view the full content in the following formats:
References
[1]
Harold Abelson and Gerald Jay Sussman. 1996. Structure and interpretation of computer programs (2nd ed.). The MIT Press.
[2]
Thomas Blanchard, Tania Lombrozo, and Shaun Nichols. 2018. Bayesian Occam’s razor is a razor of the people. Cognitive science, 42, 4 (2018), 1345–1359.
[3]
Jerry A Fodor. 1975. The language of thought. 5, Harvard university press.
[4]
Noah Goodman, Vikash Mansinghka, Daniel M Roy, Keith Bonawitz, and Joshua B Tenenbaum. 2012. Church: a language for generative models. arXiv preprint arXiv:1206.3255.
[5]
Noah D Goodman and Andreas Stuhlmüller. 2014. The Design and Implementation of Probabilistic Programming Languages. http://dippl.org Accessed: 2025-4-22
[6]
Alison Gopnik. 1996. The scientist as child. Philosophy of science, 63, 4 (1996), 485–514.
[7]
Douglas R Hofstadter. 1979. Gödel, Escher, Bach: an eternal golden braid. Basic books.
[8]
Oleg Kiselyov and Chung-chieh Shan. 2009. Embedded probabilistic programming. In IFIP Working Conference on Domain-Specific Languages. 360–384.
[9]
Thomas S Kuhn. 1962. The structure of scientific revolutions. University of Chicago press Chicago.
[10]
Imre Lakatos. 1970. History of science and its rational reconstructions. In PSA: Proceedings of the biennial meeting of the philosophy of science association. 1970, 91–136.
[11]
Brenden M Lake, Ruslan Salakhutdinov, and Joshua B Tenenbaum. 2015. Human-level concept learning through probabilistic program induction. Science, 350, 6266 (2015), 1332–1338.
[12]
Tracey Mills, Josh Tenenbaum, and Samuel Cheyette. 2023. Human spatiotemporal pattern learning as probabilistic program synthesis. Advances in Neural Information Processing Systems, 36 (2023), 54354–54365.
[13]
Steven T Piantadosi, Joshua B Tenenbaum, and Noah D Goodman. 2012. Bootstrapping in a language of thought: A formal model of numerical concept learning. Cognition, 123, 2 (2012), 199–217.
[14]
George Pugh. 1977. The biological origins of human values.
[15]
Joshua S Rule, Joshua B Tenenbaum, and Steven T Piantadosi. 2020. The child as hacker. Trends in cognitive sciences, 24, 11 (2020), 900–915.
[16]
Bertrand Russell. 1903. Principles of mathematics.
[17]
Ilia Shumailov, Zakhar Shumaylov, Yiren Zhao, Nicolas Papernot, Ross Anderson, and Yarin Gal. 2024. AI models collapse when trained on recursively generated data. Nature, 631, 8022 (2024), 755–759.
[18]
Joshua Tenenbaum. 1998. Bayesian modeling of human concept learning. Advances in neural information processing systems, 11 (1998).
[19]
Ken Thompson. 1984. Reflections on trusting trust. Commun. ACM, 27, 8 (1984), 761–763.
[20]
Alan Turing et al. 1936. On computable numbers, with an application to the Entscheidungsproblem. Journal of Math, 58, 345-363 (1936), 5.