Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge

Cartesisches Seminar

  • Oberseminar, Prof. Dr. Kreitz, Do. 14:00-16:00, 3.04.0.02

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 2012/13 haben wir Alan Turing's Artikel "On Computable Numbers - with an Application to the Entscheidungsproblem" von 1936 gelesen und im Februar mit dem Studium von Gottlob Freges "Begriffsschrift" von 1879 begonnen.

Aktive Teilnahme wird erwartet, die Mitwirkung von Studierenden in den "regulären" Seminaren wird jedoch nicht bewertet. Zur Leistungsbewertung werden die Studierenden gegen Ende des Semesters ausgewählte kurze Artikel nach den gelernten Methoden selbstständig analysieren und in "speziellen" Seminaren vorstellen.

Vorträge von Studierenden:

  • 04.07.2013: Lieven Leue zu David Hilbert: "Axiomatisches Denken" - Vortrag von 1917
  • 11.07.2013: Tina Beigel zu Gottlob Frege: "Function und Begriff" - Vortrag von 1891
  • 18.07.2013: Marc Preußner - Thema wird noch bekanntgegeben

 

Literatur

Verschiedene Fachartikel

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