|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 listsCambridge Countercultural Studies Research Group Digitization of History Project: Centre for History and Economics, King's College Bullard Laboratories Wednesday Colloquia
Other talksSystems Biology and Genome Evolution Responses of mesenchymal stromal cells to hypoxia Lunchtime Talks The effect of the APOE genotype on brain function Taking the "absolute" temperature in ice cores: another of those dreaded Physics lectures Adaptations and Illustrations of Laurence Sterne’s Tristram Shandy