this post was submitted on 12 Aug 2023
229 points (100.0% liked)

196

16573 readers
1898 users here now

Be sure to follow the rule before you head out.

Rule: You must post before you leave.

^other^ ^rules^

founded 1 year ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] kogasa@programming.dev 1 points 1 year ago

Nothing about what you said contradicts what I said. You can either change the definition of the computable real numbers, or agree that they are countable.