User blog comment:Ubersketch/Crowdsourced Notation/@comment-36957202-20190103104546/@comment-37246647-20190103114950

He probably wants to keep it computable, since the uncomputable functions are more difficult to understand.