Each finite segment of an uncomputable sequence of natural numbers (such as the Busy Beaver function Σ) is computable.
Сваки коначни сегмент на неизрачунљивом низу природних бројева (као што је Бизи бивер функција Σ) је израчунљив.