Modallogik oor Duits
Modallogik
Vertalings in die woordeboek Deens - Duits
Modallogik
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
Gödels ufuldstændighedssætning markerer ikke blot en milepæl i rekursionsteori og bevisteori, men har også ført til Löbs sætning i modallogikken.
Zum Beispiel ist der Unvollständigkeitssatz von Gödel nicht nur in der Rekursionstheorie und der Beweistheorie von größter Bedeutung, sondern führte auch zum Satz von Löb, der in der Modallogik wichtig ist.WikiMatrix WikiMatrix