Department Mathematik



Mathematisches Kolloquium

Am Freitag, 22. Juni 2007, um 15:30 Uhr c.t. spricht

Prof. Stanley S. Wainer, Ph. D.
(University of Leeds)

im Hörsaal B 051 über das Thema

Forty years of provable recursion

Zusammenfassung: This will be my own, personal survey of provable recursion and the influence Helmut Schwichtenberg has had on it, and on me, in the forty years I have known him. I won't be encyclopaedic, but will concentrate on those areas which (i) he has been most interested in, and which (ii) I feel qualified to discuss. Thus: fast and slow growing sub-recursive hierarchies, trade-offs between ordinals and higher types, comutability and constructivity, proof complexity versus computational complexity, and of course (although it does lie outside my range of expertise) MINLOG.
Alle Interessierten sind hiermit herzlich eingeladen.