Стэнли Тенненбаум
Стэнли Тенненбаум (11 апреля 1927 г. — 4 мая 2005 г.) — американский математик, внесший вклад в область логики . [1] В 1959 г. он опубликовал теорему Тенненбаума , в которой утверждается, что никакая счетная нестандартная модель арифметики Пеано (PA) не может быть рекурсивной , то есть операции + и × нестандартной модели PA не могут быть рекурсивно определены в операциях + и × стандартной модели. [2] В 1960-х годах он был профессором в Университете Йешива .
Ссылки
- ^ «Конференция памяти Стэнли Тенненбаума». mamls.org.
- ^ Стэнли Тенненбаум (1959). «Неархимедовы модели арифметики». Notices of the American Mathematical Society . 6 : 270.
Внешние ссылки
- Исторические заметки о проблеме Суслина. Статья Акихиро Канамори, описывающая некоторые работы Тенненбаума, с некоторой биографической информацией.
   | Эта статья об американском математике — заглушка . Вы можете помочь Википедии, дополнив ее. |
