Skip to main content

Maxwell Levine : Tennenbaum's Theorem and Peano Arithmetic

Posted by Maxwell Levine , part of the Louise Hay Logic Seminar.

At
April 11, 2013, 3 p.m.
In
SEO 427
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.