词条 | Stanley Tennenbaum |
释义 |
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. References1. ^{{cite web |url=http://mamls.org/Tennenbaum/People/StanleyTennenbaum |title=A conference in memory of Stanley Tennenbaum |publisher=mamls.org}} 2. ^{{cite journal | author=Stanley Tennenbaum | title=Non-archimedean models for arithmetic | journal=Notices of the American Mathematical Society | volume=6 | pages=270 | year=1959 }} External links
4 : 1927 births|2005 deaths|20th-century American mathematicians|21st-century American mathematicians |
随便看 |
|
开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。