In this talk we discuss Goedel sentences for bounded arithmetic.

For more information about the Penn Logic and Computation Seminar, please see the seminar web page.