Teorie vyčíslitelnosti

Jakým způsobem mohou být řešeny problémy z pohledu algoritmické řešitelnosti, tím se zabývá vědní obor teorie vyčíslitelnosti. Tento vědní obor lze rozdělit mezi matematiku a informatiku. V praxi se tato matematická teorie uplatňuje na počítačových programech, pro které teorie vyčíslitelnosti testuje jejich možnosti a hranice, kterých lze číselně v programech využít. Celý vědní obor v podstatě vychází ze studií, které jíž ve 40. letech prováděl britský matematik Alan Turing, na jehož poznatcích byla teorie vyčíslitelnosti vystavěna. V dílech této kategorie si můžete přečíst více o jejich spojitelnosti se světem informatiky.