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

Einführung in die Beweistheorie/Introduction to Proof Theory - Detailseite

  • Funktionen:
Grunddaten
Veranstaltungsart Hauptseminar Veranstaltungsnummer 51046
Semester WiSe 2022/23 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 Keine Angabe

Termine

Gruppe 1
Tag Zeit Rhythmus Dauer Raum Gebäude Raum-
plan
Lehrperson Status Bemerkung fällt aus am Max. Teilnehmer/-innen
Do. 10:00 bis 12:00 wöch 1.406 (Seminarraum)
Stockwerk: 4. OG


alttext alttext
Doro24 Universitätsgebäude am Hegelplatz - Dorotheenstraße 24 (DOR 24)

Außenbereich eingeschränkt nutzbar Innenbereich nutzbar Parkplatz vorhanden Barrierearmes WC vorhanden Barrierearme Anreise mit ÖPNV möglich
  findet statt     40
Gruppe 1:
 


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

Beweise selbst zum Gegenstand der Betrachtung zu machen, speziell über Manipulationen von Beweisen zu berichten, das ist die Grundidee von Hilberts Beweistheorie. Hilbert wollte so unter Beschränkung auf informelle finitistische Methoden die Konsistenz wichtiger formaler mathematischer Theorien T nachweisen. Im Lichte speziell von Gödels Unvollständigkeitssätzen mag dies nicht funktionieren. Eine Variante davon -- man gelangt zu Informationen über T und die Beziehung zwischen T und einer formalen Theorie S, indem man in S das Herleiten in T formalisiert -- ist allerdings zu einem erfolgreichen Programm der Metamathematik geworden.

Wir werden uns in diesem Seminar nur mit dessen Anfangsgründen befassen. Es wird um PA (die Peano-Arithmetik), Teiltheorien T bzw. S von PA und geringfügige Erweiterungen T bzw. S von PA gehen. Die Standardresultate sollen vorgestellt und diskutiert werden: es geht (in Schlagworten) um die Ordinalzahl von T bzw. S, um beweistheoretische Reduzierbarkeit, vielleicht um die beweisbar rekursiven Funktionen von T bzw. S und um relative Interpretierbarkeit. Dabei sollen einige Teile der einschlägigen Beweise etwas detaillierter als üblich ausgearbeitet werden.


Hierbei werden verschiedene philosophische Themen paradigmatisch behandelt: intertheoretische Relationen, die Tragweite syntaktischer Methoden, das Explizitmachen von Implizitem.

Strukturbaum

Keine Einordnung ins Vorlesungsverzeichnis vorhanden. Veranstaltung ist aus dem Semester WiSe 2022/23. Aktuelles Semester: WiSe 2024/25.
Humboldt-Universität zu Berlin | Unter den Linden 6 | D-10099 Berlin