gödelizować
Einen Sachverhalt oder ein System so beschreiben, dass es die Unvollständigkeit oder die Grenzen der logischen Beweisbarkeit aufzeigt.
Opisanie jakiegoś stanu rzeczy lub systemu w taki sposób, aby uwidocznić jego niekompletność lub ograniczenia pod względem logicznej dowodliwości.
☞ Odnosi się do twierdzeń o niezupełności Kurta Gödla.
-
Der Mathematiker gödelisierte die komplexe Formelsprache.— Matematyk poddał złożony język formuł procesowi Gödelizacji.
-
Man kann dieses System nicht einfach gödelisieren.— Nie można po prostu goedelowizować tego systemu.
Синонимы