Quotes About Provable

This action step should be personal (involving you), practical (something you can do), and provable (with a deadline to do it).

Dijkstra realized that these "good" uses of goto corresponded to simple selection and iteration control structures such as if/then/else and do/while. Modules that used only those kinds of control structures could be recursively subdivided into provable units.

Structured programming forces us to recursively decompose a program into a set of small provable functions. We can then use tests to try to prove those small provable functions incorrect. If such tests fail to prove incorrectness, then we deem the functions to be correct enough for our purposes.

It is a core principle that prosecutors should charge and pursue the most serious readily provable offense.

Policing is about moving from the unknown to the known and then further—to the provable.