Tausworthe proposes that a measure of the complexity of a program be the length of its correctness proof.
Tausworthe mengajukan bahwa sebuah pengukuran dari kompleksitas dari sebuah program adalah panjang dari pembuktian kebenarannya.