Ð¢ÐµÐ·Ð¸Ñ Ð§Ñ‘Ñ€Ñ‡Ð° — Тьюринга
Материал из Википедии — Ñвободной Ñнциклопедии
ТеÌÐ·Ð¸Ñ Ð§Ñ‘Ñ€Ñ‡Ð° — ТьюÌринга — фундаментальное утверждение Ð´Ð»Ñ Ð¼Ð½Ð¾Ð³Ð¸Ñ… облаÑтей науки, таких, как Ñ‚ÐµÐ¾Ñ€Ð¸Ñ Ð²Ñ‹Ñ‡Ð¸ÑлимоÑти, информатика, теоретичеÑÐºÐ°Ñ ÐºÐ¸Ð±ÐµÑ€Ð½ÐµÑ‚Ð¸ÐºÐ° и др. Ðто утверждение было выÑказано Ðлонзо Чёрчем и Ðланом Тьюрингом в Ñередине 1930-Ñ… годов.
Ð’ Ñамой общей форме оно глаÑит, что Ð»ÑŽÐ±Ð°Ñ Ð¸Ð½Ñ‚ÑƒÐ¸Ñ‚Ð¸Ð²Ð½Ð¾ вычиÑÐ»Ð¸Ð¼Ð°Ñ Ñ„ÑƒÐ½ÐºÑ†Ð¸Ñ ÑвлÑетÑÑ Ñ‡Ð°Ñтично вычиÑлимой, или, что тоже Ñамое, может быть вычиÑлена некоторой машиной Тьюринга.
Ð¢ÐµÐ·Ð¸Ñ Ð§Ñ‘Ñ€Ñ‡Ð° — Тьюринга невозможно Ñтрого доказать или опровергнуть, поÑкольку он уÑтанавливает «равенÑтво» между Ñтрого формализованным понÑтием чаÑтично вычиÑлимой функции и неформальным понÑтием «интуитивно вычиÑлимой функции».
ФизичеÑкий Ñ‚ÐµÐ·Ð¸Ñ Ð§Ñ‘Ñ€Ñ‡Ð° — Тьюринга глаÑит: Ð›ÑŽÐ±Ð°Ñ Ñ„ÑƒÐ½ÐºÑ†Ð¸Ñ, ÐºÐ¾Ñ‚Ð¾Ñ€Ð°Ñ Ð¼Ð¾Ð¶ÐµÑ‚ быть вычиÑлена физичеÑким уÑтройÑтвом, может быть вычиÑлена машиной Тьюринга.