Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
Roland Meyer SoSe 2013
WENIGER ANZEIGEN
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Untere Schranke für Allgemeingültigkeit (Fort.)<br />
Satz 4.37 (Church)<br />
Das Allgemeingültigkeitsproblem ist hart — und mit Satz 4.34 also<br />
vollständig — in der Klasse der semi-entscheidbaren Probleme.<br />
Korollar 4.38<br />
Das Allgemeingültigkeitsproblem ist unentscheidbar.<br />
<strong>Roland</strong> <strong>Meyer</strong> (TU Kaiserslautern) Logik <strong>SoSe</strong> <strong>2013</strong> 145 / 189
Change language