스탠리 텐넨바움
Stanley Tennenbaum스탠리 텐넨바움(Stanley Tennenbaum, 1927년 4월 11일 ~ 2005년 5월 4일)은 논리학 분야에 공헌한 미국의 수학자였다.[1]1959년에 그는 페아노 산술(PA)의 계산 가능한 비표준 모델은 재귀할 수 없다는 Tennenbaum의 정리를 발표하였다. 즉, PA의 비표준 모델의 연산 +와 ×는 표준 모델의 +와 × 연산에서 재귀적으로 정의할 수 없다.[2]그는 1960년대에 예시바 대학의 교수였다.
참조
- ^ "A conference in memory of Stanley Tennenbaum". mamls.org.
- ^ Stanley Tennenbaum (1959). "Non-archimedean models for arithmetic". Notices of the American Mathematical Society. 6: 270.
외부 링크