Besonderhede van voorbeeld: -1927261317192210439

English

This result is variously known as Matiyasevich's theorem (because he provided the crucial step that completed the proof) and the MRDP theorem (for Yuri Matiyasevich, Julia Robinson, Martin Davis, and Hilary Putnam).

Spanish

Este resultado se conoce de dos formas: como Teorema de Matiyasevich, porque fue Yuri Matiyasévich el que consiguió el desarrollo final que permitió demostrar el teorema, y como Teorema MRDP, nombre que agrupa a los matemáticos que consiguieron el desarrollo completo, empezando por el citado Matiyasevich, para continuar por Julia Robinson, Martin Davis y Hilary Putnam.