|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 lists5th Cambridge Assessment Conference: Challenges of assessment reform Department of Engineering, Production Processes Group Seminars, Institute for Manufacturing Faculty of Education Special Events
Other talksHiroshima: under the bomb 70 years on A KPZ formula for SLE and Brownian motion Gender, Nationalism and Citizenship in Anti-Authoritarian Protests in Belarus, Russia and Ukraine What and How Entrepreneurial Startups Learn from Incumbent Firms: Network Ties in the Chinese Synthetic Dye Industry* Evolution of Functionality of Porous Coordination Polymers Modifiable early life risk factors for childhood obesity – evaluating the potential for prevention