In early 1900s German Mathematician David Hilbert put forward a question :
Which means "is there an Algorithm that can always determine whether a statement follows the axioms?"
In 1936 Alan Turing answered this question by inventing the Modern Computer, the Turing Machine.
He ran his famous "Halting problem" on his Turing Machine to check whether a program will halt or not on a particular input.
But results came to Turing such that there is no way to tell in general, if a Turing machine will halt or not on a given input.
The beauty here is that a visionary question from a Mathematician gave an idea to Turing to Invent the Modern Computer that we use today.
Because you know all the computers are Turing Machines and all the programming languages are in fact Turing complete.
What? Humans? Yes. To say precisely, they are Women.
And it was Turing who replaced them with Machines.
Personal blog @ danyson.github.io