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.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.