NOTE: Such metaphors tend to be at once useful and misleading. They are understood only intuitively, vaguely, partially, ambiguously, and abstractly by their authors and users. They are apt to be polysemous—possessed of multiple and complex meanings, both relevant and irrelevant. Moreover, in the present instance the utilitarian and natural meaning of the very words universe and computer is unknown to an indefinite degree! Physicists who are trying to conceive a new cosmology based in part on the metaphor of the universe as a computer may find the following list clarifying, heuristic, provocative, useful for self-criticism or discussion, &c. It is a partial list that needs to be extended, systematized, edited, explained, and illuminated by examples and corollaries.
Last updated: March 17, 2026
physproof.thisness.us is an open-source research dashboard for a Lean4 formal mathematics project.
We use Cloudflare Web Analytics, which:
No data is sold, shared with third parties, or used for advertising.
The dashboard includes Hypothes.is for collaborative annotation. No data is sent until you interact with it. See their privacy policy.
Hosted on Cloudflare Workers. See Cloudflare's privacy policy.
The dashboard stores no user data. No accounts, logins, forms, or user-generated content. All content is project data synced from the local development environment.
Powered by Cloudflare Web Analytics — privacy-first, no cookies, no tracking