Цялостност по Тюринг: Разлика между версии

Изтрито е съдържание Добавено е съдържание
Редакция без резюме
м неправилно членуване - предлог и пълен член
Ред 8:
 
== История ==
Цялостност по Тюринг е показател за това, че всеки дизайн на изчислително устройство в реалниятреалния свят може да бъде симулиран, чрез универсалната [[машина на Тюринг]]. В [[Тезис на Чърч|тезиса на Чърч]] се посочва, че това е закон на математиката който гласи, че една универсална машина Тюринг може, по правило, да извърши всички изчисления, които всеки друг програмируем компютър може. Това не е показателно за усилията, които са необходими да се напише програмата или времето, което ще отнеме на машината да извърши изчислението, нито за каквито и да е способности, които машината може да притежава и нямащи нищо общо със самите изчисления.
 
Първата цялостна по Тюринг машина е щяла да бъде ''Аналитичният двигател'' на [[Чарлз Бабидж]] (1830 г.), ако е била построена, но тя остава само проект. Бабидж твърдял, че машината е в състояние да извършва изключителни постижения в изчислението, включително примитивно логическо мислене, но той не е предполагал, че никоя друга машина не може да се справи по-добре. От 1830 до 1940 г., механични сметачни машини, като например разширители и мултипликатори са били построени и подобрени, но те не са могли да изпълняват условни преходи и следователно не са били цялостни по Тюринг.
Ред 17:
 
== Извън математическо ползване ==
В разговорният език понятието „Цялост по Тюринг“ или „Тюринг еквивалентност“ се използва, за да се обясни това, че който и да е компютър в реалниятреалния свят с общо предназначение или в компютърнияткомпютърния език, може приблизително да изчисли стимулирането на промени в изложението, на който и да е друг компютър в реалниятреалния свят с общо предназначение или компютърен език.
 
Реалните компютри, изградени, са основани на една единствена лента на Машината на Тюринг. Следователно математически е възможно, чрез абстракция, те да бъдат експлоатирани от достатъчно голямо разстояние. Истинските компютри имат ограничени технически ресурси, така че те са автоматично праволинейно ограничени. За разлика от тях, универсалният компютър се определя като устройство с пълен набор от команди на Тюринг, безгранична памет и неизчерпаема достъпност до него.