# Matiyasevich's theorem

> English word · Proper noun

## Definitions
1. A theorem stating that every computably enumerable set is a Diophantine set, and the converse.

## Etymology
Named after Russian mathematician Yuri Matiyasevich.

## Source
Compiled from Wiktionary via kaikki.org (CC BY-SA). Data vintage: 2026-05-06.
Canonical page: https://plainspell.com/en/word/matiyasevich-s-theorem