Тезис Чёрча — Тьюринга
Тезис Чёрча — Тьюринга Те́зис Чёрча — Тью́ринга — фундаментальное эвристическое утверждение, постулирующее эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга.В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть.Тезис был высказан Алонзо Чёрчем и Аланом Тьюрингом в середине 1930-х годов .Существенен для многих областей науки и философии науки, в том числе для математической логики, теории доказательств, информатики, кибернетики. Вы можете поддержать нас, покупая игры через эти ссылки, спасибо :) G2A: https://www.g2a.com/r/13b5d Instant Gaming: http://www.instant-gaming.com/en/igr2398139/ ❂видео ориентированы на слепых пользователей ❂Текст доступен по CC-BY-SA ❂источник изображения внутри видео
Тезис Чёрча — Тьюринга Те́зис Чёрча — Тью́ринга — фундаментальное эвристическое утверждение, постулирующее эквивалентность между интуитивным понятием алгоритмической вычислимости и строго формализованными понятиями частично рекурсивной функции и функции, вычислимой на машине Тьюринга.В связи с интуитивностью исходного понятия алгоритмической вычислимости, данный тезис носит характер суждения об этом понятии и его невозможно строго доказать или опровергнуть.Тезис был высказан Алонзо Чёрчем и Аланом Тьюрингом в середине 1930-х годов .Существенен для многих областей науки и философии науки, в том числе для математической логики, теории доказательств, информатики, кибернетики. Вы можете поддержать нас, покупая игры через эти ссылки, спасибо :) G2A: https://www.g2a.com/r/13b5d Instant Gaming: http://www.instant-gaming.com/en/igr2398139/ ❂видео ориентированы на слепых пользователей ❂Текст доступен по CC-BY-SA ❂источник изображения внутри видео