AGNES -
Lehre und Prüfung online
Studierende in Vorlesung
Anmelden

Elimination der Quantoren - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Hauptseminar Veranstaltungsnummer 51057
Semester WiSe 2020/21 SWS 2
Rhythmus keine Übernahme Moodle-Link  
Veranstaltungsstatus Freigegeben für Vorlesungsverzeichnis  Freigegeben  Sprache deutsch
Belegungsfrist Es findet keine Online-Belegung über AGNES statt!
Veranstaltungsformat Digital

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer
Di. 10:00 bis 12:00 wöch     findet statt    
Gruppe 1:
 


Zugeordnete Person
Zugeordnete Person Zuständigkeit
Niebergall, Karl-Georg , Prof. Dr.
Studiengänge
Abschluss Studiengang LP Semester
Master of Arts  Philosophie Hauptfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie Kernfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Bachelor of Science  Philosophie Zweitfach ( Vertiefung: kein LA; POVersion: 2014 )     -  
Master of Education (GYM)  Philosophie/Ethik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Master of Education (ISS)  Philosophie/Ethik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Master of Education (ISG)  Philosophie/Ethik 1. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )     -  
Master of Education (ISS)  Philosophie/Ethik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Master of Education (GYM)  Philosophie/Ethik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Master of Education (ISG)  Philosophie/Ethik 2. Fach ( Vertiefung: mit LA-Option; POVersion: 2018 )     -  
Bachelor of Arts  Philosophie/Ethik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Kernfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Arts  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2014 )     -  
Bachelor of Arts  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Bachelor of Science  Philosophie/Ethik Zweitfach ( Vertiefung: mit LA-Option; POVersion: 2015 )     -  
Zuordnung zu Einrichtungen
Einrichtung
Philosophische Fakultät, Institut für Philosophie
Inhalt
Kommentar

Sei T eine Theorie in der (quantorenlogischen) Sprache L; T erlaubt Quantorenelimination gdw
für jede Formel A aus L gibt es eine quantorenfreie
Formel B aus L so daß T |- A B.

Quantoren sind irgendwie schwieriger als Junktoren; deshalb hat man es beim Beweisen am liebsten nicht mit jenen zu tun. Beim axiomatischen Beweisen sind sie schwer zu eliminieren; aber ihre Eliminierbarkeit bringt häufig erwünschte Eigenschaften für T mit sich: wie die Entscheidbarkeit und Vollständigkeit von T. Diese sollten gerade auch für empirische Theorien Desiderata sein.

Dieses HS ist eine Einführung in das Thema Quantorenelimination. Ich möchte die klassischen Beispiele -- wie Theorien nur mit "=", Presburger Arithmetik, Theorien der reellen Zahlen -- behandeln. Es wäre schön, wenn uns am Ende des HS Eliminationsbeweise für diese Theorien bekannt wären, die so elegant sind, daß man sie ohne große Lücken hinschreiben und doch verstehen kann.

Strukturbaum

Die Veranstaltung wurde 19 mal im Vorlesungsverzeichnis WiSe 2020/21 gefunden:

Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin