Informatik

Was ist Diagonalisierung in der Berechenbarkeitstheorie?

Diagonalisierung konstruiert ein Objekt, das sich gezielt vom $i$-ten Objekt einer Aufzählung an Stelle $i$ unterscheidet.

Damit zeigt man z.B. Unabzählbarkeit oder Unentscheidbarkeit.