|COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring.|
Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers
If you have a question about this talk, please contact Adam Lewicki.
Next week Grant Passmore will be speaking on his work in decision methods and model theory – at the intersection between logic, algebraic geometry and computer science. Dr. Passmore is a life member of Clare Hall, Cambridge, a Co-Director of Laboratoire de Recherche Scientifique (LABORES), Paris, and currently resides in London.
This talk is part of the Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers series.
This talk is included in these lists:
Note that ex-directory lists are not shown.
Other listsGastrointestinal Cancer Forum Camtessential Group Techfugees Cambridge
Other talksWhite Dwarf Planetary Systems The Challenge of Privacy Protection for Statistical Agencies Unorthodox Interactions at Work Measuring risk and utility in remote analysis and online data centres – why isn’t this problem already solved? Aerobic Oxidation Reactions for Organic Chemical Synthesis Statistical matching theory with a glimpse towards extremal regular graphs