{"id":"arxiv/2609.11576","url":"https://arxiv.org/abs/2609.11576","tags":["cs.LO","math.LO"],"score":0,"title":"Medvedev Logic is Not Decidable. It is π01 -complete. Who Would Have Guessed?","domain":"cs.LO","source":"arxiv","authors":["Pawel Pawlowski"],"reviews":0,"subject":"cs.LO","summary":"This project began as an attempt to prove that Medvedev logic is decidable with the help of generative AI systems. The author (as well as the generative AI systems, or at least they claim to be since I have asked them) was surprised by its eventual conclusion. We prove that Medvedev logic ML, the intermediate logic of finite problems, is Pi-01-complete under computable many-one reductions. Consequently, ML is not recursively enumerable, a fortiori undecidable, and admits no recursively enumerable sound and complete proof calculus. The proof connects the periodic domino problem with…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}