BLANK-ENDMARKER PROGRAMS
This chapter of the survey has not been published elsewhere.
We review four different versions of the information-theoretic incompleteness theorem asserting that it is difficult to prove that specific strings s have high blank-endmarker complexity Hb(s). We also construct a blank-endmarker “halting probability” Ωb with the property that the initial segments of its base-two expansion asymptotically have the maximum possible blank-endmarker complexity Hb.