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

Skvortsov's logic of infinite 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 Medvedev's logic of finite 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