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.