User blog comment:Ubersketch/An outline for a system./@comment-35470197-20190615223735/@comment-34422464-20190616161101

What do you mean by diagonalisation of total recursive functions?