Skip to main content
PRL Project


by William Aitken

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.