“Remember! Most strings are incompressible, most reals uncomputable, most theorems unprovable, most programs undecidable.”