Мануэль Блюм

Мануэль Блюм Мануэль Блюм – американский ученый-компьютерщик, получивший премию Тьюринга в 1995 году.  Блюм родился в Венесуэле и получил образование […]

Мануэль Блюм

  • Мануэль Блюм – американский ученый-компьютерщик, получивший премию Тьюринга в 1995 году. 
  • Блюм родился в Венесуэле и получил образование в Массачусетском технологическом институте. 
  • Он разработал аксиоматическую теорию сложности, основанную на числах Геделя и аксиомах Блюма. 
  • Теория дает конкретные результаты, включая теорему о сжатии, теорему о зазоре, теорему о честности и теорему об ускорении Блюма. 
  • Блюм также известен своими работами в области криптографии, проверки программ и CAPTCHAs. 
  • Он был консультантом многих выдающихся исследователей, включая Леонарда Адлемана, Дану Англуин и Шафи Голдвассер. 

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

Мануэль Блюм — Википедия, бесплатная энциклопедия

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

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