Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas
303 | AMA | February 2025
Sean Carroll
For example, we have the computable intermediate value theorem, the assertion that if f is a computable continuous function and f of a less than c less than f of b for computable reals a, b, and c, then there's a computable d with f of d equals c. Does that make sense?
0
💬
0
Comments
Log in to comment.
There are no comments yet.