Of Proofs and Purpose
tl;dr - Proving and verifying costs have improved dramatically in the past 5 years. Demand for proofs has not responded. Why? Human activity can be organized by two mutually reinforcing pursuits. The first is resolving a select number of fundamental questions towards which knowledge has naturally converged – What is the underlying structure of the physical universe? What is life? What is computation? What is consciousness? The second is the application of our discoveries to expanding the scop...
Of Proofs and Purpose
tl;dr - Proving and verifying costs have improved dramatically in the past 5 years. Demand for proofs has not responded. Why? Human activity can be organized by two mutually reinforcing pursuits. The first is resolving a select number of fundamental questions towards which knowledge has naturally converged – What is the underlying structure of the physical universe? What is life? What is computation? What is consciousness? The second is the application of our discoveries to expanding the scop...
