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