Cartesisches Seminar

Seit einigen Jahren gibt es am Potsdamer Institut für Klimafolgenforschung das Cartesische Seminar, das thematisch offen, methodisch jedoch explizit 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 ist.

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.

Seit dem Wintersemester 2011/12 findet das Cartesische Seminar - vor allem auch, um interessierten Studierenden die Teilnahme zu erleichtern -  am Institut für Informatik der Universität Potsdam statt.

Wir treffen uns in der Regel Mittwochs, 10:00 Uhr. Im Sommersemester 2012 haben wir leider nicht durchgängig denselben Raum zur Verfügung. Der Raumplan findet sich hier.

Wir beschäftigen uns mit einflussreichen Artikeln aus dem Bereich der theoretischen Informatik und der intuitionistischen Logik. Im Wintersemester 2011/12 haben wir Kolmogorov's Artikel "Zur Deutung der  intuitionistischen Logik" von 1931, Alonzo Churchs "A Set of Postulates for the Foundation of Logic" von 1932 und Teile des Übersichtartikels "Lambda-Calculus and Combinators in the 20th Century" von Cardone und Hindley gelesen. Im Sommersemester 2012 ging es zunächst um Alfred Tarskis: "Grundlegung der wissenschaftlichen Semantik" von 1936.

Ab dem 25.04. lesen wir "Diagonal Arguments and Cartesian Closed Categories" von F. William Lawvere.

Mögliche weitere Artikel (andere Vorschläge aller Teilnehmer sind aber ausdrücklich erwünscht):

• G.Frege, 1879: Begriffsschrift
• G.Cantor, 1897: Beiträge zur Begründung der Transfiniten Mengenlehre - ii
  
• J.von Neumann, 1923: On the introduction of transfinite numbers
• A.Turing, 1937: On Computable Numbers, with an Application to the Entscheidungsproblem
• A.Church, 1935: An unsolvable problem of elementary number theory 
• E.Post, 1936: Finit Combinatory Processes. Formulation I
• K.Gödel, 1931: Über formal unentscheidbare Sätze...
• K.Gödel, 1930: Über die Vollständigkeit der Axiome des logischen Funktionenkalküls 
• A.Skolem, 1923: The foundations of elementary arithmetic...
• A.Tarski, 1936: Über den Begriff der logischen Folgerung 
• D.Scott, 1969: A type-theoretical alternative to ISWIM, CUCH, OWHY
• N.de Bruijn, 1960: System Automath
• G.Kreisel, 1959: Interpretation of analysis by means of constructions of finite types
• J.Herbrand, 1930: Investigations in proof theory
• St.C.Kleene, 1945: On the interpretation of intuitionistic number theory
• G.Gentzen, 1935: Untersuchung über das logische Schliessen I+II
  

Das Seminar gehört nicht zum Lehrangebot der Universität Potsdam, insbesondere können keine Leistungspunkte erworben werden. Interessenten sind jedoch sehr herzlich willkommen.

Zum Institut für Informatik kommt man am Besten per S-Bahn Linie 7, Bahnhof Griebnitzsee. Vom Bahnsteig treppab, nach rechts, wieder treppauf, die Straße überqueren, 50 m nach links und man sieht das Gebäude. Siehe auch hier.