[next] [prev] [prev-tail] [tail] [up]

11.9 Logik für Fortgeschrittene

Seminar:  

Logik für Fortgeschrittene

  

Dozenten:  

Heike Mildenberger, Martin Ziegler

  

Zeit/Ort:  

Di, 10–12 Uhr, SR 318, Eckerstraße 1

  

Tutorium:  

N.N.

  

Vorbesprechung:  

Mi, 03.08.2011, 15:00 Uhr, Zimmer 310, Eckerstr. 1

  

Web-Seite:  

http://home.mathematik.uni-freiburg.de/mildenberger/veranstaltungen/ws11/beweistheorieseminar.html

  
 

Inhalt:

In diesem Seminar lernen wir Beweistheorie anhand von Originalarbeiten und späteren Darstellungen in Handbüchern und Monographien. Unten ist eine Beispiel-Arbeit genannt.

Literatur:

1.)
Kreisel, G. On the interpretation of non-finitist proofs. I. J. Symbolic Logic 16, (1951). 241–267.
____________________________________________________________________________

Typisches Semester:  

mittleres oder höheres

Notwendige Vorkenntnisse:  

Mathematische Logik

Sprechstunde Dozentin:  

Mi, 14–15 Uhr, Raum 310, Eckerstr. 1

Sprechstunde Assistent:  

nach Vereinbarung

 

[next] [prev] [prev-tail] [front] [up]