Jonathan Brossard
1 indexed paper
Recent (6 mo)
1With code
0Influential cites
0Benchmarked
0Publications per year
126
Top categories
Logic×1Crypto×1
Research Timeline
2026
A Constructive Proof of Rice's Theorem and the Halting Problem via Hilbert's Tenth Problem
The paper provides a constructive, intuitionistically valid proof of Rice's Theorem and the Halting Problem undecidability by reducing the problem to the undecidability of Hilbert's Tenth Problem (MRDP), avoiding classical reasoning like diagonalization.
Highlighted terms show continued research focus across papers