Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit

Beschreibung

Autor*in

Wolfgang Stegmüller

Themen in »Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit«

Berechenbarkeit Beweis Funktionen Kompaktheitssatz Konjunktive Normalform Lehrsatz Logik Löwenheim-Skolem-Theorem Mengen Prädikate Quantoren Randelementmethode Sopera Typen rekursive Funktionen

Stimmen zu »Normalformen. Identität und Kennzeichnung. Theorien und definitorische Theorie-Erweiterungen. Kompaktheit. Magische Mengen. Fundamentaltheorem. Analytische und synthetische Konsistenz. Unvollständigkeit und Unentscheidbarkeit«

Details

Link teilen