this post was submitted on 15 Jun 2023
1 points (100.0% liked)

math

269 readers
2 users here now

Interesting news and discussion centered around Mathematics

founded 1 year ago
MODERATORS
 

So looking at this Aaronson post and this easier to grasp codegolf post, you're presented with programs that only terminate if these theories are inconsistent. They're very long running in the mathematical sense of "long", but putting aside any philosophical objections, say you ran one and it eventually terminated. How surprising is that?

no comments (yet)
sorted by: hot top controversial new old
there doesn't seem to be anything here