Stanley Tennenbaum

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

Tennenbaum made ​​in 1945, Ph. B. degree (Bachelor of Philosophy ) at the University of Chicago, then attended the Graduate School, but made no further statements and received his doctorate not. Tennenbaum was very unconventional and had many different academic job, partly as a visiting scientist, some with permanent employment ( tenure, so at the University of Rochester ). In particular, he was also interested in teaching in primary schools and taught there frequently (usually after he spontaneously recently signed up at the school board ) - which was also a topic that he discussed a lot with Kurt Gödel. He died of his second heart attack when he visited friends in Princeton.

Tennenbaum proved fundamental results in the theory of models, such as the set of Tennenbaum (1959 ), which states that no countable nonstandard model of Peano arithmetic can be recursive, and set theory. In 1971 he proved with Robert M. Solovay the independence of the Suslin hypothesis ( SH) of the Zermelo -Fraenkel axioms of set theory. First he showed in 1963 the relative consistency of the negation of the SH and 1965 with Solovay the relative consistency of the SH. Her work at that time showed the great potential of the just-introduced by Paul Cohen Forcing method. From him comes a new geometric proof of the irrationality of.