Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge

Cartesisches Seminar

  • Oberseminar, Prof. Dr. Kreitz, Do. 12:30-14:30, 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 Sommersemester 2013 haben wir unter anderem Freges "Begriffsschrift" studiert.

Im Wintersemester 2013/2014 starten wir mit
  • Tarski, 1986(1966): "What are logical notions?"
  • Lindenbaum, Tarski, 1935: "On the limitations of the means of expressions of deductive theories"

Vorschläge der Teilnehmer sind wie immer ausdrücklich erwünscht.

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