User blog comment:QuasarBooster/The Wackermann function/@comment-43798125-20200217140929

Is it possible to use Gödel-coding to arithmetize Linear Array Notation?