gödeliser
Einen Sachverhalt oder ein System so beschreiben, dass es die Unvollständigkeit oder die Grenzen der logischen Beweisbarkeit aufzeigt.
Décrire un état de choses ou un système de manière à mettre en évidence l’incomplétude ou les limites de la démonstrabilité logique.
☞ Se rapporte aux théorèmes d’incomplétude de Kurt Gödel.
-
Der Mathematiker gödelisierte die komplexe Formelsprache.
-
Man kann dieses System nicht einfach gödelisieren.
Синонимы