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

2 pointsposted 7 hours ago
by measurablefunc
(arxiv.org)

No comments yet