User blog comment:Edwin Shade/Rank-on-Rank Turing Ordinals and Beyond/@comment-26454151-20180120005845/@comment-30004975-20180120022013

You can still define the sequences so that \(f_\omega\) is uncomputable.