Stanley Tennenbaum

Stanley Tennenbaum (born April 11, 1927 in Cincinnati , † May 4, 2005 in Princeton ) was an American mathematical logician.

Tennenbaum made a Ph. B. degree (Bachelor of Philosophy) at the University of Chicago in 1945 , then attended the Graduate School, but did not receive any further degrees or doctorate. Tennenbaum was very unconventional and had many different academic positions, some as a visiting scholar, some with permanent employment ( tenure , for example at the University of Rochester ). He was particularly interested in teaching at elementary schools and often taught there (usually after spontaneously registering with the school management shortly beforehand) - that was also a topic that he discussed a lot with Kurt Gödel . He died of his second heart attack while visiting friends at Princeton.

Tennenbaum proved fundamental results in model theory , such as Tennenbaum's (1959) theorem , which says that no countable non-standard model of Peano arithmetic can be recursive, and set theory. In 1971 he and Robert M. Solovay proved the independence of the Suslin hypothesis (SH) from the Zermelo-Fraenkel axioms of set theory. First he showed the relative consistency of the negation of the SH in 1963 and the relative consistency of the SH in 1965 with Solovay. Then their work showed the great potential of just of Paul Cohen introduced Forcing method. A new geometrical proof of the irrationality of . ${\displaystyle {\sqrt {2}}}$

Web links

• Conference in his honor, Mid Atlantic Mathematical Logic Seminar, CUNY Graduate Center 2006
• Akihiro Kanamori Historical Remarks on Suslin's Problem , pdf

Individual evidence

1. ↑ See the description in Kanamori Historical Remarks on Suslin's Problem
2. ↑ First presented in the literature by John Horton Conway , The power of mathematics in Alan Blackwell, David MacKay Power , Cambridge University Press 2005. The evidence comes from the 1950s. See also: Steven J. Miller, David Montague Irrationality from the Book , 2009