Leon Lang comments on Alexander Gietelink Oldenziel’s Shortform

[Leon Lang]

I have written a post where I explain the classical version of the padding argument /​ coding theorem in a fair amount of detail.