Herkenner

Ook is bewezen dat er problemen zijn die niet turing-herkenbaar zijn (er kan geen herkenner voor zijn).

Vraag maar aan de Big Blue schaakcomputer, de Alpha Go computer of de slimste kattenplaatjes-herkenner waarom een person naar de bus rent: Weten ze niet.

Alle mooie woorden ten spijt is er op dit moment nog geen enkel stuctuur te herkenner in aanpak van wat voor zaak dan ook.

Gegeven een ja-instantie van P zal de herkenner altijd in de accepterende toestand eindigen, maar gegeven een nee-instantie mag de machine ofwel in de afwijzende toestand eindigen ofwel eindeloos door blijven lopen.

Niet alles is herkenbaar Een herkenner voor een probleem P is een turingmachine die alle ja-instanties van het probleem herkent, maar niet noodzakelijk alle nee-instanties van het probleem afwijst.

In 2013 speelde Huffnagel een kleine bijrol in The Passion als voorbijganger en Petrus-herkenner.