COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic & Semantics for Dummies > Cylindrical decomposition : a way to solve 1st order logic of the real numbers

## Cylindrical decomposition : a way to solve 1st order logic of the real numbersAdd to your list(s) Download to your calendar using vCal - Mathieu Huot (University of Cambridge)
- Friday 24 June 2016, 11:15-12:15
- Rainbow Room (FS07), Computer Laboratory.
If you have a question about this talk, please contact Ian Orton. I will explain what is exactly 1st order logic of the real numbers and show why this is unclear whether it is even decidable. Tarski found an algorithm in 1951 but with very (very) high complexity and I will present Collins’ algorithm from 1975, which is much better. The problem is also shown to be really hard (EXPSPACE difficult…). I will present the algorithm in a semi formal way (formal would require several hours) to give both the intuition and a few interesting facts, and I will also try to explain why the problem is still interesting, i.e. give some applications. This talk is part of the Logic & Semantics for Dummies series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsC.P. Snow Lectures Type the title of a new list here Cambridge Zero Carbon Society## Other talksTHE PYE STORY Evolutionâ€™s Bite: Dental evidence for the diets of our distant ancestors Why does cardiac function deteriorate in heart failure and how does phosphodiesterase 5 inhibition help? Intelligent Self-Driving Vehicles Adding turbulent convection to geostrophic circulation: insights into ocean heat transport Chemical genetic approaches to accelerate antimalarial target discovery |