this post was submitted on 02 Nov 2025
178 points (76.0% liked)

Technology

76558 readers
2768 users here now

This is a most excellent place for technology news and articles.


Our Rules


  1. Follow the lemmy.world rules.
  2. Only tech related news or articles.
  3. Be excellent to each other!
  4. Mod approved content bots can post up to 10 articles per day.
  5. Threads asking for personal tech support may be deleted.
  6. Politics threads may be removed.
  7. No memes allowed as posts, OK to post as comments.
  8. Only approved bots from the list below, this includes using AI responses and summaries. To ask if your bot can be added please contact a mod.
  9. Check for duplicates before posting, duplicates may be removed
  10. Accounts 7 days and younger will have their posts automatically removed.

Approved Bots


founded 2 years ago
MODERATORS
 

And here I was waiting to get unplugged, or maybe finding a Nokia phone that received a call.

you are viewing a single comment's thread
view the rest of the comments
[–] mhague@lemmy.world 26 points 1 day ago* (last edited 1 day ago)

"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.