Skip to content

MRDP theorem

Today it means: Synonym of Matiyasevich's theorem. Full definition →

Ask AI about its historyChatGPT Claude Perplexity Google AI Grok

The story

Short for Matiyasevich–Robinson–Davis–Putnam.

Etymology from Wiktionary, CC BY-SA 4.0.