frontpage.
newsnewestaskshowjobs

Made with ♥ by @iamnishanth

Open Source @Github

fp.

Open in hackernews

New mathematical framework reshapes debate over simulation hypothesis

https://www.santafe.edu/news-center/news/new-mathematical-framework-reshapes-debate-over-simulation-hypothesis
31•Gooblebrai•2h ago

Comments

A_D_E_P_T•1h ago
Oh man, Stephen Wolfram and Jürgen Schmidthuber are probably fuming at the fact that this is called a "new" mathematical framework. It's all very old, and quite conventional, even popular -- not exactly the road not taken.

What the author did was use the Physical Church-Turing thesis, and Kleene's second recursion theorem, to show that: (1) If a universe’s dynamics are computable (PCT), and (2) the universe can implement universal computation (RPCT), then (3) the universe can simulate itself, including the computer doing the simulating.

That's basically all. And thus "there would be two identical instances of us, both equally 'real'." (Two numerically distinct processes are empirically identical if they are indistinguishable. You might remember this sort of thing from late 20th c. philosophy coursework.)

He also uses Rice’s theorem (old) to show that there is no uniform measure over the set of "possible universes."

It's all very interesting, but it's more a review article than a "new mathematical framework." The notion of a mathematical/simulated universe is as old as Pythagoras (~550 BC), and Rice, Church-Turing, and Kleene are all approaching the 100-year mark.

ericpauley•53m ago
It’s also a little silly for the same reasons discussions of theoretical compatibility often are: time and space requirements. In practice the Universe, even if computable, is so complex that simulating it would require far more compute than physical particles and far more time than remaining until heat death.
FabHK•26m ago
Yes, is that (obvious) point being addressed in the paper? At first skimming, it just says that a "sufficiently souped up laptop" could, in principle, compute the future of the universe (i.e. Laplace's daemon), but I haven't seen anything about the subsequent questions of time scales.
Borg3•9m ago
Hehe yeah.. For me, its just inverted search for the God. There must be somethink behind it, if its not God, then it must be simulation! Kinda sad, I would expect more from scientist.

The big riddle of Universe is, how all that matter loves to organize itself, from basic particles to Atoms, basic molecues, structured molecues, things and finally live.. Probably unsolvable, but that doesnt mean we shouldnt research and ask questions...

HPsquared•53m ago
I'm no mathematician, but doesn't this come up against Gödel's incompleteness theorem? My brain has that roughly as "If you have a system and a model of that system, but the model is also part of the same system, something something, impossible"
keepamovin•28m ago
Isn't GIT you can have a statement that is valid in a system, but can't be proven this way or that given the systems' axioms? And this is true for all such axiom systems? In other words the axioms are an incomplete description of the system.

Maybe the problem is axiomative deduction, we need a new inference-ology?

anthk•18m ago
Any decent Lisp can reimplement eval, apply and the rest of functions/atom within itself.
bananaflag•9m ago
No, this sort of self-reflection is exactly what makes Gödel/Turing/etc impossibility results work ("strange loops" and all that).
NoahZuniga•49m ago
Thanks for this great comment!

> He also uses Rice’s theorem (old) to show that there is no uniform measure over the set of "possible universes."

I assume a finite uniform measure? Presumably |set| is a uniform measure over the set of "possible universes".

Anyway if I understood that correctly, than this is not that surprising? There isn't a finite uniform measure over the real line. If you only consider the possible universes of two particles at any distance from eachother, this models the real line and therefore has no finite uniform measure.

boomskats•1h ago
Zero cost abstractions! I'd almost be interested in Bostrom's inevitable physics-based counter (if he wasn't such a racist bellend).
nrhrjrjrjtntbt•55m ago
Like running Kubernetes in a Docker container.
CuriouslyC•51m ago
The simulation hypothesis takes something reasonable, that reality is "virtual," and runs it into absurdity.

If the universe isn't "real" in the materialist sense, that does not imply that there's a "real" universe outside of the one we perceive, nor does it imply that we're being "simulated" by other intelligences.

The path of minimal assumptions from reality not being "real" is idealism. We're not simulated, we're manifesting.

EdgeCaseExist•38m ago
Exactly, it's paradoxical; how would you define the universe as a simulation, without being on the same substrate! The title should have focused more on the computability of the universe, as we know it.
mw67•40m ago
Funny people still call that "simulation hypothesis". At some point they should try to do some Past lives regressions or Out of body experience (astral projection). Then they'll know for sure what this reality is about.
EdgeCaseExist•37m ago
The author of the article on the site, is the author of the paper!
mg74•29m ago
Which of him is simulating which?
mgaunard•36m ago
It's starting with the assumption that the simulation would reproduce the universe perfectly; this eliminates a lot of possibilities.

Many would expect that the parent universe would be more sophisticated, potentially with more dimensions, that we can only glimpse through artifacts of the simulation.

te7447•13m ago
I've always wondered how you'd be able to rigorously distinguish breaking out of the simulation from just discovering novel things about your current universe.

Is a black hole a bug or a feature? If you find a way to instantly observe or manipulate things at Alpha Centauri by patterning memory in a computer on Earth a special way, is that an exploit or is it just a new law of nature?

Science is a descriptive endeavor.

I guess that some extreme cases would be obvious - if a god-admin shows up and says "cut that out or we'll shut your universe down", that's a better indication of simulation than the examples I gave. But even so, it could be a power bluff, someone pretending to be a god. Or it could be comparable to aliens visiting Earth rather than gods revealing themselves - i.e. some entity of a larger system visiting another entity of the same system, not someone outside it poking inside.

anthk•9m ago
Also that Universe could use entities similar to hard and soft links (quantum entanglement), memory deduplication and so on.

How many people did we met in the world with similar face appearances and even personalities, almost like you are finding copycats everywhere? Also, it happens as if some kind of face/shape would just have a single personality with minimal differences spread over thousands of lookalikes...

quantum_state•33m ago
Hope folks involved in this type of exploration have it clear in mind that what they are reasoning about it’s strictly the model of the real world only. It’s far from obvious that nature follows anything remotely computational.
raverbashing•20m ago
We can't even run docker inside docker without making things slower, the simulator hypotheses is frankly ridiculous
lioeters•9m ago
That's what a simulated universe running inside Docker would say.
daoboy•15m ago
I always feel like these frameworks rely on a semantic sleight of hand that sounds plausible on the surface, but when you drill down a bit they render words like 'simulation' 'reality' or 'truth' as either unintelligible or trite, depending on how you define them.

Drone with Unified Actuation for Wheeled Locomotion and Flight Operation

https://sites.google.com/view/duawlfin
1•simonpure•1m ago•0 comments

A Fair, Cancelable Semaphore in Go

https://healeycodes.com/a-fair-cancelable-semaphore-in-go
1•healeycodes•5m ago•0 comments

Ex-Splunk execs' startup Resolve AI hits $1B valuation with Series A

https://techcrunch.com/2025/12/19/ex-splunk-execs-startup-resolve-ai-hits-1-billion-valuation-wit...
1•rbanffy•5m ago•0 comments

AMD Reveals New Zen 6 Details in First Official Document – HotHardware

https://hothardware.com/news/amd-zen-6-performance-monitor-counters
1•rbanffy•6m ago•0 comments

Show HN: RenderCV – Open-source CV/resume generator, YAML → PDF

https://github.com/rendercv/rendercv
2•sinaatalay•10m ago•0 comments

Show HN: deeploy 0.1 – Terminal-first deployment platform (self-hosted)

https://github.com/deeploy-sh/deeploy
1•axadrn•10m ago•0 comments

HuggingFace Chat Exfiltrates Data

https://www.promptarmor.com/resources/huggingface-chat-exfiltrates-data
2•jerryShaker•11m ago•0 comments

Developer convenience, infrastructure cost, and losing the open web

https://blog.senko.net/developer-convenience-infrastructure-cost-and-losing-the-open-web
1•senko•12m ago•0 comments

Stack Exchange's Questions per Month

https://data.stackexchange.com/stackoverflow/query/1882532/questions-per-month
2•moralestapia•13m ago•1 comments

DisneyResearchHub: Bringing an Animated Character to Life in the Physical World [video]

https://www.youtube.com/watch?v=-L8OFMTteOo
1•_qua•14m ago•0 comments

Show HN: Vibey – Vibe Code in your Browser

https://github.com/martinpllu/vibey
1•pllu•17m ago•0 comments

Show HN: Gaming Couch – a local multiplayer party game platform for 8 players

https://gamingcouch.com
2•ChaosOp•17m ago•0 comments

Faster Practical Modular Inversion

https://purplesyringa.moe/blog/faster-practical-modular-inversion/
1•signa11•23m ago•0 comments

Show HN: Mushak – Zero config zero downtime Docker/Compose to server deployment

https://mushak.sh
1•hmontazeri•23m ago•1 comments

Preact without a build step, including routing and signals

https://ricardoanderegg.com/posts/preact-without-build-step-including-routing/
1•polyrand•25m ago•0 comments

Coarse Is Better

https://borretti.me/article/coarse-is-better
3•_dain_•28m ago•0 comments

Ask HN: What is still hard about system design with AI?

1•brihati•28m ago•0 comments

Show HN: BustAPI – A Python framework with a Rust core claiming 50x Flask speed

https://github.com/GrandpaEJ/BustAPI
1•ZOROX•30m ago•0 comments

'We feel excluded': expensive tickets dampen World Cup excitement in Mexico

https://www.theguardian.com/football/2025/dec/21/expensive-tickets-and-trumps-shadow-dampen-world...
2•prmph•30m ago•2 comments

The Rails Delegated Type Pattern

https://dev.37signals.com/the-rails-delegated-type-pattern/
1•ksec•31m ago•0 comments

How I built my designerly CV

https://conwy.co/articles/designerly-cv
1•conwy•33m ago•1 comments

What Makes a World Habitable? [pdf]

https://www.lpi.usra.edu/education/explore/our_place/hab_ref_table.pdf
1•hakkikonu•38m ago•0 comments

Scientists Discover Neural Basis of Schizophrenia and Bipolar Disorder

https://scitechdaily.com/scientists-discover-neural-basis-of-schizophrenia-and-bipolar-disorder/
2•ashishgupta2209•38m ago•0 comments

Seven Stages of Open Software

https://docs.coiled.io/blog/stages-of-openness.html
2•fanf2•44m ago•1 comments

Show HN: The equation for smoke vortices also describes 100M° fusion plasma

https://github.com/Lulzx/driftmap
2•lulzx•45m ago•0 comments

I Don't Play the Game

https://silence.bearblog.dev/i-dont-play-the-game/
2•thejamesbox•46m ago•0 comments

Recent discoveries on the acquisition of the highest levels of human performance

https://www.science.org/doi/10.1126/science.adt7790
1•Anon84•46m ago•0 comments

Luke Howard's Essay on the Modification of Clouds (1865)

https://publicdomainreview.org/collection/essay-on-the-modification-of-clouds/
1•Petiver•47m ago•0 comments

Google's Boomerang Year: 20% of 2025 AI Engineers Were Former Employees

https://www.cnbc.com/2025/12/19/google-boomerang-year-20percent-ai-software-devs-hired-2025-ex-em...
1•birdculture•49m ago•0 comments

A Plug and Play all Purpose Robotic OS

https://axiomrobotics.netlify.app/
1•Akshaiy•49m ago•1 comments