gödelizar
Einen Sachverhalt oder ein System so beschreiben, dass es die Unvollständigkeit oder die Grenzen der logischen Beweisbarkeit aufzeigt.
Describir un hecho o un sistema de manera tal que se pongan de manifiesto su incompletitud o los límites de la demostrabilidad lógica.
☞ Se refiere a los teoremas de incompletitud de Kurt Gödel.
-
Der Mathematiker gödelisierte die komplexe Formelsprache.
-
Man kann dieses System nicht einfach gödelisieren.
Синонимы