We didn't need to discover every mathematical truth to discover that there are limits to what we can mathematically prove. Nor did we need to discover every algorithm to know that we can't determine if a program will halt. Both of these have helped understand where plateaus exist in their respective domains. We don't need to enumerate every truth to understand that there are some things we cannot do.
No comments yet.