User blog comment:Kyodaisuu/English description of Fish numbers/@comment-25418284-20131102173245/@comment-1605058-20131102212316

I don't understand. If it is possible to compute Rayo's function in FOST using, say, 1 billion characters, then giving special symbol f doing same work will cut size of input only linearily, which is that much of a difference when we compare 10^90 and 10^100. What we'd need is significant increase of expressive strength.