Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
303 | AMA | February 2025
Sean Carroll
You have a function and you know the function at some argument is less than c and that is less than the function for b, then in between it had to go through c. That does make some intuitive sense. The idea is that these computable theorems do not say anything about numbers that cannot be expressed in terms of an algorithm.
0
💬
0
Comments
Log in to comment.
There are no comments yet.