Питер Б. Эндрюс
Питер Брюс Эндрюс (род. 1937) — американский математик и профессор математики, почетный профессор Университета Карнеги-Меллона в Питтсбурге, штат Пенсильвания . [1] и создатель математической логики Q 0 . Он получил докторскую степень. из Принстонского университета в 1964 году под опекой Алонзо Чёрча . [2] В 2003 году он получил премию Эрбрана . [3] Его исследовательская группа разработала TPS автоматизированное средство доказательства теорем . Подсистема ETPS (Образовательная система доказательства теорем) TPS используется, чтобы помочь учащимся изучать логику путем интерактивного построения естественных доказательств вывода.
Публикации
[ редактировать ]- Эндрюс, Питер Б. (1965). Трансфинитная теория типов с переменными типа . Издательство Северной Голландии, Амстердам.
- Эндрюс, Питер Б. (1971). «Разрешение в теории типов». Журнал символической логики 36 , 414–432.
- Эндрюс, Питер Б. (1981). «Доказательство теоремы посредством общих спариваний». Дж. доц. Вычислить. Маршировать. 28 , нет. 2, 193–214.
- Эндрюс, Питер Б. (1986). Введение в математическую логику и теорию типов: к истине через доказательство . Информатика и прикладная математика. ISBN 978-0-1205-8535-9 . Academic Press, Inc., Орландо, Флорида.
- Эндрюс, Питер Б. (1989). «О связях и логике высшего порядка». Дж. Автомат. Причина. 5 , нет. 3, 257–291.
- Эндрюс, Питер Б.; Епископ Мэтью; Иссар, Сунил; Несмит, Дэн; Пфеннинг, Фрэнк ; Си, Хунвэй (1996). «TPS: система доказательства теорем классической теории типов». Дж. Автомат. Причина. 16 , нет. 3, 321–353.
- Эндрюс, Питер Б. (2002). Введение в математическую логику и теорию типов: к истине через доказательство . Второе издание. Серия «Прикладная логика», 27. ISBN 978-1-4020-0763-7 . Kluwer Academic Publishers, Дордрехт.
Ссылки
[ редактировать ]- ^ «Питер Б. Эндрюс» . gtps.math.cmu.edu . Проверено 10 марта 2018 г.
- ^ «Черч Алонзо - Проект математической генеалогии» . www.genealogy.math.ndsu.nodak.edu . Проверено 10 марта 2018 г.
- ^ Эндрюс, Питер Б. (1 октября 2003 г.). «Речь о вручении премии Эрбрана». Журнал автоматизированного рассуждения . 31 (2): 169–187. CiteSeerX 10.1.1.69.5121 . doi : 10.1023/b:jars.0000009552.54063.f3 . ISSN 0168-7433 . S2CID 9542444 .
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья об американском математике незавершена . Вы можете помочь Википедии, расширив ее . |