En 1970, Matiyasevic montra qu'il était impossible qu'un tel algorithme existe.
1	En	en	ADP	_	_	2	case	_	wordform=en
2	1970	1970	NUM	_	Number=Plur	5	obl:mod	_	SpaceAfter=No
3	,	,	PUNCT	_	_	2	punct	_	_
4	Matiyasevic	Matiyasevic	PROPN	_	_	5	nsubj	_	_
5	montra	montrer	VERB	_	Mood=Ind|Number=Sing|Person=3|Tense=Past|VerbForm=Fin	0	root	_	_
6	qu'	que	SCONJ	_	_	9	mark	_	SpaceAfter=No
7	il	il	PRON	_	Gender=Masc|Number=Sing|Person=3|PronType=Prs	9	expl:subj	_	_
8	était	être	AUX	_	Mood=Ind|Number=Sing|Person=3|Tense=Imp|VerbForm=Fin	9	cop	_	_
9	impossible	impossible	ADJ	_	Gender=Masc|Number=Sing	5	ccomp	_	_
10	qu'	que	SCONJ	_	_	14	mark	_	SpaceAfter=No
11	un	un	DET	_	Definite=Ind|Gender=Masc|Number=Sing|PronType=Art	13	det	_	_
12	tel	tel	ADJ	_	Gender=Masc|Number=Sing	13	amod	_	_
13	algorithme	algorithme	NOUN	_	Gender=Masc|Number=Sing	14	nsubj	_	_
14	existe	exister	VERB	_	Mood=Sub|Number=Sing|Person=3|Tense=Pres|VerbForm=Fin	9	csubj	_	SpaceAfter=No
15	.	.	PUNCT	_	_	5	punct	_	_
