Medvedev Logic is Not Decidable. It is π01 -complete. Who Would Have Guessed?

Pawel Pawlowski

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 the…