|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 University Biological Society Fluid Mechanics (CUED) Cambridge Product Management Network
Other talksDevelopments in Open Science in the Netherlands men need help too St Catharine’s Political Economy Seminar – ‘‘Beyond Austerity and Stimulus: Broadening Capital Acquisition with the Earnings of Capital as a Means to Sustainable Fuller Employment and Growth’ Robert Ashford Tetsuya Higashiyama (Nagoya University)- Title to be confirmed Postgraduate Diploma in Entrepreneurship webinar Real bundle gerbes