|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 listsState of Exception, Spaces of Terror: The Concentrationary Gothic and Whiteness as Spectral Terrorist epiSTEMe dissemination event Global Student Education Forum (GSEF) Talk Series
Other talksClimate Change, Infectious Disease and the Arctic: Are we opening Pandora's box? Contagion and Containment Chromatin, Replication and Chromosomal Stability 2016 A Killer In Search of a Trial: Criminal Lunacy in the British Empire Scott Lecture I - You may find yourself with a beautiful Higgs Boson and 6 beautiful quarks, and you may ask yourself – Well… How did I get here? The changing fortunes of Poole, Lyme and Melcombe: wool, cloth, tax, trade and the fifteenth century Dorset economy