|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 listsNeuropsychiatry discussion group St Catharine's College Amalgamated Societies Lecture Series Centre for Atmospheric Science seminars, Chemistry Dept.
Other talksGenetics and lifestyle factors in obesity Globalisation and Crisis Conference Inflammation in wound healing and cancer From Speculative to Sustainable Finance: Can Markets do Good? Heat Rises: 100 Years of Rayleigh-Bénard Convection (Rouse Ball Lecture) Three-dimensional FiSS tumoroid culture:platform for Drug Discovery and Development