cd/entity/Medvedev's logic of finite problemsĀ· homeā€ŗ entitiesā€ŗ Medvedev's logic of finite problems
grep -l @medvedev's logic of finite problems /news/*.json | wc -l ā†’ 1

Medvedev's logic of finite problems

mentions 1 type Person feed RSS

// recent coverage 1 mentions

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ā€¦

// co-occurs with top 6 entities
Rodrigo Nicolau Almeida 1 arXiv 1 Skvortsov's logic of infinite problems 1 ChatGPT Sol 5.6 1 Claude Opus 5 1 Lean 1
// topics top 3 topics
ai research 1 artificial intelligence 1 machine learning 1