University of Cambridge > Talks.cam > Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers > Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers

Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers

Add to your list(s) Download to your calendar using vCal

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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

 

© 2006-2014 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity