Teorie vypočitatelnosti

Teorie vypočitatelnosti je část počítačové vědy. Vědci chtějí vědět, že co může být počítáno a co nemůže.

Tam je model počítače, který je používán pro toto. To je voláno Turing stroj. Turing stroj v podstatě je zvláštní psací stroj s nekonečnou páskou. Stroj je pojmenovaný po matematiku Alan Turing.

Nepřehlédněte: Tato stránka obsahuje strojový překlad textu z anglické encyklopedie Wikipedia. Pokud budou některé pasáže špatně srozumitelné, zkuste se podívat i na text v originále, který najdete pod odkazem Computability theory. Překlad byl vytvořen pomocí překladače Eurotran.

Problém je vypočitatelný jestliže to může být vyjádřeno v takový cesta to Turing stroj může řešit to.

Jeden z nejlepších známých příkladů je váhavý problém. Úloha má psát program, který říká pro všechny programy zda oni nakonec se zastaví. Toto je nemožné se rozhodnout. Matematici říkají problém je undecidable.