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

2 points | by measurablefunc 12 hours ago