|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 listsMRC Cancer Unit Seminars The Ellen McArthur Lectures 2013 Philosophy and History of Science
Other talksPopulation Genetics of Greenlanders Evolution and Genetic Adaptation to Climate The labor market consequences of electricity adoption: concrete evidence from the Great Depression Biogenesis of mitochondrial membrane protein complexes Tool development work (tbc) The physics of AGN feedback in galaxy clusters Detecting and Characterising Planets with Direct Imaging