геделізувати
Einen Sachverhalt oder ein System so beschreiben, dass es die Unvollständigkeit oder die Grenzen der logischen Beweisbarkeit aufzeigt.
Описати певну ситуацію або систему таким чином, щоб це продемонструвало її неповноту чи межі логічної доведеності.
☞ Стосується теорем про неповноту Курта Геделя.
-
Der Mathematiker gödelisierte die komplexe Formelsprache.— Математик ґеделізував складну формульну мову.
-
Man kann dieses System nicht einfach gödelisieren.— Цю систему не можна просто геделізувати.
Синонимы