Stanley Tennenbaum
id:
stanley-tennenbaum-249-3083401
title:
Stanley Tennenbaum
text:
Stanley Tennenbaum was an American mathematician who contributed to the field of logic. 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. He was a professor at Yeshiva University in the 1960s.
brand slug:
wiki
category slug:
encyclopedia
description:
American mathematician
original url:
https://en.wikipedia.org/wiki/Stanley_Tennenbaum
date created:
date modified:
2022-11-17T17:51:22Z
main entity:
{"identifier":"Q2331815","url":"https://www.wikidata.org/entity/Q2331815"}
image:
fields total:
13
integrity:
14