Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge

Cartesisches Seminar

  • Oberseminar, Prof. Dr. Kreitz, Dr. rer. nat. Richter, Richter, N.N., Di. 10:00-13:00, 3.04.2.01

Das Cartesische Seminar, ursprünglich am Potsdamer Institut für Klimafolgenforschung entstanden, ist methodisch den von René Descartes in seinem "Discours de la méthode pour bien conduire sa raison et chercher la vérité dans les sciences..." formulierten Regeln wissenschaftlicher Forschung verpflichtet, thematisch jedoch offen gestaltet.

Die gemeinsame gründliche Lektüre klassischer Texte der Mathematik, Physik, Ökonomie, Informatik u.a. eröffnet den Teilnehmern, die in sehr verschiedenen Fachgebieten arbeiten, ungewohnte Perspektiven und neue Einsichten. Wir beschäftigen uns mit einflussreichen Artikeln aus dem Bereich der theoretischen Informatik und der intuitionistischen Logik. Im Wintersemester 2013/14 haben wir Arbeiten von Alfred Tarski gelesen. Im Sommersemester 2014 werden wir zunächst die Lektüre von Tarskis "Der Wahrheitsbegriff in den formalisierten Sprachen" von 1935 fortsetzen.

Themenvorschläge der Teilnehmer sind ausdrücklich erwünscht.

Literatur

  • Alfred Tarski, 1935: "Der Wahrheitsbegriff in den formalisierten Sprachen"
Artikelaktionen
Auf einen Blick
Lehrform Oberseminar
Empfohlen ab FS 5
Voraussetzungen Gute Kenntnisse in theoretischer Informatik und Logik
Benotet Ja
Punkte gesamt 3
davon praktisch 3
Sprache deutsch/englisch
Fremdhörer zugelassen? Nein
Teilgebiete Theoretische Informatik(2000), Wahlfrei(7000)
Studiengang Bachelor, Master
Belegung via PULS