Teorie vyčíslitelnosti: Porovnání verzí

'''Teorie vyčíslitelnosti''' je [[věda|vědní]] obor na pomezí [[matematika|matematiky]] a [[informatika|informatiky]], který zkoumá otázky [[algoritmus|algoritmické]] řešitelnosti problémů. Vytváří teoretický základ a zkoumá možnosti a hranice využití algoritmicky pracujících postupů, což se v praxi uplatňuje především na [[počítačový program|počítačové programy]]. Pod pojmem algoritmu se běžně rozumí mechanizovaný postup, který se dálze realizovat třeba na [[Turingův stroj|Turingově stroji]]. Významnou roli ve [[Filosofie|filozofickém]] podložení teorie vyčíslitelnosti hraje [[Church-Turingova teze]], podle níž jsou všechny „rozumné“ výpočetní modely ekvivalentní Turingově stroji.