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