![]() |
![]() |
Predicativity 2Add to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Richard. Laura Crosilla writes: I shall give a gentle introduction to Predicativity, especially focusing on its historical and philosophical origins at the beginning of the 20th century in the works of Poincare’, Russell and Weyl. (This is part 2 of a 2 hour set.) This talk is part of the Midlands Logic Seminar series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsPostgraduate Seminars in the School of Computer Science Mathematics Colloquium Cold AtomsOther talksProvably Convergent Plug-and-Play Quasi-Newton Methods for Imaging Inverse Problems Sylow branching coefficients for symmetric groups Extending the Lax type operator for finite W-algebras TBC TBC Quantum simulations using ultra cold ytterbium |