6
votes
2answers
453 views

Could computers someday discover theorems or find demonstrations?

Cloud computing and quantum computers bring computers to what seems like a limitless calculation power? If one sees all the mathematical operations and theorems as a toolset that a computer can use, ...