A Constructive Proof of Rice's Theorem and the Halting Problem

(arxiv.org)

2 points | by measurablefunc 11 hours ago ago