Stanley Tennenbaum


Stanley Tennenbaum (11 de abril de 1927 - 4 de mayo de 2005) fue un matemático estadounidense que contribuyó al campo de la lógica . [1] En 1959, publicó el teorema de Tennenbaum , que establece que ningún modelo no estándar contable de aritmética de Peano (PA) puede ser recursivo , es decir, las operaciones + y × de un modelo no estándar de PA no se pueden definir de forma recursiva en las operaciones + y × del modelo estándar. [2] Fue profesor en la Universidad Yeshiva en la década de 1960.