gödelize etmek
Einen Sachverhalt oder ein System so beschreiben, dass es die Unvollständigkeit oder die Grenzen der logischen Beweisbarkeit aufzeigt.
Bir durumu veya sistemi, mantıksal kanıtlanabilirliğin eksikliklerini veya sınırlarını ortaya koyacak şekilde tanımlamak.
☞ Kurt Gödel’in eksiklik teoremlerine atıfta bulunur.
-
Der Mathematiker gödelisierte die komplexe Formelsprache.— Matematikçi, karmaşık formül dilini Gödelleştirdi.
-
Man kann dieses System nicht einfach gödelisieren.— Bu sistemi kolayca Gödelleştiremeyiz.
Синонимы