The Universal Computer: The Road from Leibniz to Turing