PRL Seminars
Developing Tools for Reflection
Eli Barzilay
February 10, 2003
Abstract
As a motivational milestone on the path to the "holy grail" of implementing practical reflection, we began formalizing the proof of Tarski's theorem on the undefinability of truth. This work helped with identifying necessary functionality, and in this talk I will present some of these recent developments. Since this is ongoing work, I hope to get some feedback for further work.