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

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

• Grant Passmore, Co-Director LABORES, Paris & Life Member Clare Hall, Cambridge
• Thursday 24 April 2014, 15:30-16:30
• Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement).

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:

• Centre for Mathematical Sciences, Meeting Room 5 (centre building, basement)
• All CMS events
• CMS Events
• Computing downward Lowenheim-Skolem: Hands on with the real algebraic numbers
• DPMMS info aggregator
• Hanchen DaDaDash
• Interested Talks
• bld31

Note that ex-directory lists are not shown.