@misc{indiciae72c543b5d8d7, title = {A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem}, author = {Jonathan Brossard}, year = {2026}, url = {https://arxiv.org/abs/2604.16477}, note = {Source identifier: 2604.16477} }