"Those are all computational engines that are highly distributed and therefore highly robust, .. We're seeing a very significant evolution in the way we even think about computer systems, let alone specific applications."

Previous Quote

But it is certainly not possible to insist on one hand that the formalism is complete and to insist on the other hand that its application to 'the actual' actually demands a step which cannot be derived from it.

— Karl Popper