17:01
2026-09-21
arxiv.org
ai-research
AI proves Medvedev logic is undecidable
A paper submitted to arXiv on 11 September 2026 by Rodrigo Nicolau Almeida proves that Medvedev's logic of finite problems is undecidable, settling a longstanding open problem. The proof reduces the pā¦