Julia Robinson y Yuri Matiyasevich mostraron que todo conjunto diofántico tiene dimensión menor o igual que 13.