Silicon seems to scale like n square -
the Web seems to scale like n cube.

Any technology that scales ought to have
some reasonable amount of redundancy.

Reasoning is like a welding machine
transforming data into proofs.

Mathematics is at the heart of everything
I do and has never failed me.

There is no principle to tell whether to
use top-down or bottom-up reasoning.