04-00-0224-vu Basic Applied Proof Theory

Small group: Basic Applied Proof Theory 

Course offering details

Instructors: Prof. Dr. phil. nat. Ulrich Kohlenbach

Event type: Lecture & Exercise

Org-unit: Dept. 04 - Mathematics

Displayed in timetable as: 04-00-0224-vu

Subject:

Crediting for:

Hours per week: 3

Credits: 4,5

Language of instruction: Englisch

Min. | Max. participants: - | -

Course Contents:
This course gives a brief introduction to some of the major techniques
of applied proof theory, namely so-called proof interpretations. The main
methods studied are: no-counterexample interpretation (Kreisel), modified
realizability, functional (‘Dialectica’) interpretation (Gödel) and their monotone
variants.

Small group(s)
This course is divided into the following small groups: Show plenary course offering

  • Basic Applied Proof Theory

    Prof. Dr. phil. nat. Ulrich Kohlenbach

    Wed, 18. Apr. 2012 [09:50]-Wed, 11. Jul. 2012 [11:30]

    This small group is currently shown.

Literature
Appointments
Date From To Room Instructors
1 Th, 12. Apr. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
2 Wed, 18. Apr. 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
3 Th, 19. Apr. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
4 Wed, 25. Apr. 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
5 Th, 26. Apr. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
6 Wed, 2. May 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
7 Th, 3. May 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
8 Wed, 9. May 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
9 Th, 10. May 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
10 Wed, 16. May 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
11 Wed, 23. May 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
12 Th, 24. May 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
13 Wed, 30. May 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
14 Th, 31. May 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
15 Wed, 6. Jun. 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
16 Th, 14. Jun. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
17 Wed, 20. Jun. 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
18 Th, 21. Jun. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
19 Wed, 27. Jun. 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
20 Th, 28. Jun. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
21 Wed, 4. Jul. 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
22 Th, 5. Jul. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
23 Wed, 11. Jul. 2012 09:50 11:30 S115/021 Prof. Dr. phil. nat. Ulrich Kohlenbach
24 Th, 12. Jul. 2012* 14:25 16:05 S215/409K Prof. Dr. phil. nat. Ulrich Kohlenbach
Class session overview
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
  • 21
  • 22
  • 23
  • 24
  •  
Instructors
Prof. Dr. phil. nat. Ulrich Kohlenbach