销售货物并开具专用发票，同时符合以下条件时才可以作废（）。

A.收到退回的发票联、抵扣联时间未超过销售方开票当月

B.销售方未抄税并且未记账

C.购买方未认证或者认证结果为“纳税人识别号认证不符”、“专用发票代码、号码认证不符”

D.主管税务机关出具《作废增值税专用发票通知单》

已知阿科曼函数（Ackermann function）是一种递归函数，但该函数却是不可以计算的问题