Direkt zum Inhalt | Direkt zur Navigation

Sektionen
Benutzerspezifische Werkzeuge

Cartesisches Seminar

  • Oberseminar, Prof. Dr. Kreitz, Dr. rer. nat. Richter, Richter, Brede, Böhne, 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 zur Zeit vorwiegend mit einflussreichen Artikeln aus dem Bereich der theoretischen Informatik und der intuitionistischen Logik.

Im Wintersemester 2014/15 haben wir "Copatterns - Programming Infinite Structures by Observations" von Abel, Pientka, Thibodeau, Setzer gelesen und uns mit den Grundlagen der universellen Algebra beschäftigt. 

Im Sommersemester 2015 haben wir Turings "The Word Problem in Semi-Groups with Cancellation" diskutiert und werden ab Anfang Mai Einsteins "Über die spezielle und allgemeine Relativitätstheorie" von 1921 lesen.

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

Literatur

  • Turing: "The Word Problem in Semi-Groups with Cancellation", 1950
  • Einstein: "Über die spezielle und die allgemeine Relativitätstheorie", 1921
Artikelaktionen
Auf einen Blick
Lehrform Oberseminar
Empfohlen ab FS 4
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