Zurück
| Semester | Herbstsemester 2019 |
| Angebotsmuster | einmalig |
| Dozierende | Giovanni Sommaruga (giovanni.sommaruga@unibas.ch, BeurteilerIn) |
| Inhalt | Zuerst wird der Begriff eines formalen Systems syntaktisch eingeführt und dann mit einer Semantik versehen: es geht um die Bedeutung der Symbole eines formalen Systems, um Wahrheit und Beweisbarkeit, und schliesslich um die Begriffe der Widerspruchsfreiheit und der Vollständigkeit. Weiterhin werden die für Gödel, Tarski und Turing wichtigen Begriffe der Rekursion, der rekursiven und rekursiv aufzählbaren Mengen, und der primitiv und allgemein rekursiven Funktionen der Zahlentheorie besprochen. Diese erlauben es, die Gödelschen Unvollständigkeitstheoreme, das Halteproblem von Turing, und den Tarskischen Wahrheitssatz vorzustellen. Schliesslich kommen auch Computersprachen und Computersysteme sowie das Problem der KI: Können Maschinen denken? zur Sprache. |
| Literatur | Douglas Hofstadter, Gödel, Escher, Bach: ein endlos geflochtenes Band, München, dtv, 1996 (5. Aufl.) |
| Teilnahmebedingungen | Dem Grundkurs Logik entsprechende Logikkenntnisse. |
| Unterrichtssprache | Deutsch |
| Einsatz digitaler Medien | kein spezifischer Einsatz |
| Intervall | Wochentag | Zeit | Raum |
|---|
Keine Einzeltermine verfügbar, bitte informieren Sie sich direkt bei den Dozierenden.
| Module |
Modul: Probleme der Theoretischen Philosophie (Bachelor Studienfach: Philosophie) |
| Leistungsüberprüfung | Lehrveranst.-begleitend |
| An-/Abmeldung zur Leistungsüberprüfung | Anmelden: Belegen; Abmelden: nicht erforderlich |
| Wiederholungsprüfung | keine Wiederholungsprüfung |
| Skala | Pass / Fail |
| Wiederholtes Belegen | nicht wiederholbar |
| Zuständige Fakultät | Philosophisch-Historische Fakultät, studadmin-philhist@unibas.ch |
| Anbietende Organisationseinheit | Fachbereich Philosophie |