Louise Hay Logic Seminar
Maxwell Levine
UIC
Tennenbaum's Theorem and Peano Arithmetic, Part 2
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.
Tuesday April 23, 2013 at 4:00 PM in SEO 427