![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Order-theoretic fixed point theorems
Order-theoretic fixed point theoremsAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact George Kaye. Abstract Some messy history of messy classical proofs and a simple constructive proof with applications to messy algebra. I will survey the history of classical and constructive fixed point theorems in order theory, demonstrating that most of the attributions are wrong and why not to use transfinite recursion. I will conclude with a constructive theorem that can do everything that the older ones could do, but has a simpler proof and is easier to use. slides and paperThis talk is part of the Theoretical computer science seminar series. This talk is included in these lists:This talk is not included in any other list Note that ex-directory lists are not shown. |
Other listsType the title of a new list here Theoretical Physics Seminars Geometry and Mathematical Physics seminarOther talksBases for permutation groups TBA Harness light-matter interaction in low-dimensional materials and nanostructures: from advanced light manipulation to smart photonic devices Integral equation methods for acoustic scattering by fractals Plasmonic and photothermal properties of TiN nanomaterials Quantum-Enhanced Interferometry hunting in the Dark Universe: How Gravitatioanl-wave detector technology can be (ab)used for other mysteries in fundamental physics. |