Ludwig-Maximilians-Universität München Mathematisches Institut
Impressum Datenschutz
Constructive convex analysis Josef Berger                 Gregor Svindland

LMUexcellent

second CORE meeting

27 january 2017     Department of Mathematics, Theresienstraße 39, second floor, room B252

programme

9:45–10:00 J. Berger / G. Svindland opening
10:00–10:45 Klaus Mainzer Bridging Logic, Mathematics, Computer Science, and Philosophy
10:45–11:30 Vasco Brattka The Computational Content of the Brouwer Fixed Point Theorem Revisited
11:30–12:15 Douglas S. Bridges Boundaries and separation
13:45–14:30 Peter M. SchusterLindenbaum's Lemma, Syntactically?
14:30–15:15 Helmut Schwichtenberg Logic for exact real arithmetic
15:30–16:15 Hajime Ishihara A constructive proof of the minimax theorem
16:15–16:45 Takako NemotoWeak König's Lemma for convex trees
17:00–17:30 Tatsuji Kawai The space of located subsets
17:30–18:00 Sam Sanders The crazy Reverse Mathematics of Nonstandard Analysis and Computability Theory

Dinner (for the speakers)

19:00   Tafel & Schwafel, Augustenstr. 80

Abstracts



jb        7   february   2017