Stanley Tennenbaum (April 11, 1927 – May 4, 2005) was an American mathematician who contributed to the field of logic.[1] In 1959, he published Tennenbaum's theorem, which states that no countable nonstandard model of Peano arithmetic (PA) can be recursive, i.e. the operations + and × of a nonstandard model of PA are not recursively definable in the + and × operations of the standard model.[2] He was a professor at Yeshiva University in the 1960s.
References
- ^ "A conference in memory of Stanley Tennenbaum". mamls.org.
- ^ Stanley Tennenbaum (1959). "Non-archimedean models for arithmetic". Notices of the American Mathematical Society. 6: 270.
External links
- Historical Remarks on Suslin's Problem Article by Akihiro Kanamori describing some of Tennenbaum's work, with some biographical info.
| Authority control databases: Academics |
|---|
   | This article about an American mathematician is a stub. You can help Wikipedia by expanding it. |
This page was last edited on 17 November 2022, at 17:51