PRL Seminars

Bill will give a Scientific American level discussion of the reflection work in Nuprl.

Specifically, we will hear about how the reflection principle can be used to advantage in a theorem proving environment and perceived applications of reflection in Nuprl.