Louise Hay Logic Seminar
Maxwell Levine
UIC
Tennenbaum's Theorem and Peano Arithmetic
Abstract: We discuss Tennenbaum's Theorem, which states that any countable nonstandard model of Peano arithmetic is nonrecursive, as well as its connection to the Godel-Rosser Theorem and its implications for the study of Peano arithmetic.
Thursday April 11, 2013 at 3:00 PM in SEO 427