Мартин Дэвис (математик)

Мартин Дэвис (математик) Мартин Дэвис — американский математик, внесший значительный вклад в теорию вычислимости и сложность вычислений.  Он разработал алгоритм […]

Мартин Дэвис (математик)

  • Мартин Дэвис — американский математик, внесший значительный вклад в теорию вычислимости и сложность вычислений. 
  • Он разработал алгоритм Дэвиса-Патнэма-Логемана-Лавленда для решения задачи CNF-SAT. 
  • Дэвис также внес вклад в области сложности вычислений и математической логики. 
  • Он был известен своей моделью машин Пост-Тьюринга. 
  • Его книги «Вычислимость и неразрешимость» и «Универсальный компьютер» считаются классическими в теоретической информатике. 
  • Дэвис был женат на Вирджинии Уайтфорд Палмер и имел двоих детей. 
  • Он скончался в 2023 году, оставив после себя значительный вклад в области математики и информатики. 

Полный текст статьи:

Мартин Дэвис (математик) — Википедия

Оставьте комментарий

Прокрутить вверх