• 0 Posts
  • 6 Comments
Joined 2 years ago
cake
Cake day: November 26th, 2023

help-circle
  • “If we assume X theorem is true, Y theorem is true, and lemma Z is true, then …”

    This is actually about our models and seeing their incompleteness in a new light, right? I don’t think starting from arbitrary axioms and then trying to build reality was about proving qualities about reality. Or am I wrong? Just seems like they’re using “simulated reality” as a way to talk about our models for reality. By constructing a “silly” argument about how we can’t possibly be in a matrix, they’re revealing just how much we’re still missing.