The next logical revolution will be the practical assimilation of mathematics and computation into logic.
This is initially just a change of perspective on networked computing, but evolves eventually into mathematically and logically intelligent systems.
| |||

from Values to Propositions |
from Computation to Deductionpropositions rather than data and yield new propositions.
Correctness of computation from this perspective becomes soundnes of deduction.
| ||

A Trivial SolutionThe revolution lies in the evolution in logical content, structure and function which follows. | |||

Extending Logical Content |
Evolving Logical Structure |