User:Wythagoras/Rado's sigma function/Oracle TMs

The numbering for TMs can be seen here.

If we accept this numbering, I can give some bounds for \(\Sigma_2(n)\).

First attempt
0 _ 1 r ask 0 1 1 r halt yes _ 1 r 0 no _ 1 l 0 As TM#1 doesn't halt and TM#3 doesn't halt, is TM#5 the first machine that halts. There will be 6 1's on the tape.