Who proved that a machine capable of processing a stream of 1s and 0s was capable of solving any problem?

Hmm not sure but I do know that Charles Babbage and Ada Lovelace created the first big computer that could add and subtract and many other things. Ada Lovelace wrote the first computer code I think but that doesn't really answer your question.