Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
Чтобы узнать о других людях по имени Питер Эндрюс, см. Питер Эндрюс (значения) .
Питер Эндрюс в 2012 году

Питер Брюс Эндрюс (родился в 1937 г.) - американский математик и профессор математики, заслуженный в Университете Карнеги-Меллона в Питтсбурге, штат Пенсильвания , [1] и создатель математической логики Q 0 . Он получил докторскую степень. из Принстонского университета в 1964 году под руководством Алонсо Черча . [2] В 2003 году он получил премию Herbrand . [3] Его исследовательская группа разработала автоматическое средство доказательства теорем TPS. . Подсистема ETPS (Образовательная система доказательства теорем) TPS используется, чтобы помочь студентам изучать логику путем интерактивного построения доказательств естественного вывода.

Публикации [ править ]

  • Эндрюс, Питер Б. (1965). Теория трансфинитного типа с переменными типа . Издательская компания Северной Голландии, Амстердам.
  • Эндрюс, Питер Б. (1971). «Разрешение в теории типов». Журнал символической логики 36 , 414–432.
  • Эндрюс, Питер Б. (1981). «Доказательство теорем через общие вязки». J. Assoc. Comput. Марш. 28 , вып. 2, 193–214.
  • Эндрюс, Питер Б. (1986). Введение в математическую логику и теорию типов: к истине через доказательство . Компьютерные науки и прикладная математика. ISBN  978-0-1205-8535-9 . Academic Press, Inc., Орландо, Флорида.
  • Эндрюс, Питер Б. (1989). «О связях и логике высшего порядка». J. Automat. Причина. 5 , вып. 3, 257–291.
  • Эндрюс, Питер Б .; Епископ, Матфей; Иссар, Сунил; Несмит, Дэн; Пфеннинг, Франк ; Си, Хунвэй (1996). «TPS: система доказательства теорем для классической теории типов». J. Automat. Причина. 16 , нет. 3, 321–353.
  • Эндрюс, Питер Б. (2002). Введение в математическую логику и теорию типов: к истине через доказательство . Второе издание. Серия прикладной логики, 27. ISBN 978-1-4020-0763-7 . Kluwer Academic Publishers, Дордрехт. 

Ссылки [ править ]

  1. ^ "Питер Б. Эндрюс" . gtps.math.cmu.edu . Проверено 10 марта 2018 .
  2. ^ «Алонсо Черч - Проект математической генеалогии» . www.genealogy.math.ndsu.nodak.edu . Проверено 10 марта 2018 .
  3. ^ Эндрюс, Питер Б. (2003-10-01). «Речь при вручении премии Herbrand». Журнал автоматизированного мышления . 31 (2): 169–187. CiteSeerX 10.1.1.69.5121 . DOI : 10.1023 / B: jars.0000009552.54063.f3 . ISSN 0168-7433 .  

Внешние ссылки [ править ]

  • Питер Б. Эндрюс