Teorie vyčíslitelnosti

V dnešním světě je Teorie vyčíslitelnosti téma, které je stále aktuálnější. Ať už kvůli svému dopadu na společnost, ekonomiku nebo kulturu, Teorie vyčíslitelnosti upoutal pozornost milionů lidí po celém světě. Od svých počátků až po současnost vyvolal Teorie vyčíslitelnosti debaty, kontroverze a významné pokroky, které poznamenaly historii lidstva. V tomto článku prozkoumáme různé aspekty Teorie vyčíslitelnosti, analyzujeme jeho důležitost, důsledky a vývoj v čase. Teorie vyčíslitelnosti je bezpochyby téma, které nenechává nikoho lhostejným a které si zaslouží být prostudováno a pochopeno jako celek.

Teorie vyčíslitelnosti je obor na pomezí matematiky a informatiky, který zkoumá otázky 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é programy. Pod pojmem algoritmu se běžně rozumí mechanizovaný postup, který lze realizovat třeba na Turingově stroji. Významnou roli ve filozofickém podložení teorie vyčíslitelnosti hraje Churchova–Turingova teze, podle níž jsou všechny „rozumné“ výpočetní modely ekvivalentní Turingově stroji.

Pro teoretický popis pojmu algoritmu se využívá množství výpočetních modelů – například Turingův stroj, částečně rekurzivní funkce, RAM stroj a Lambda kalkul (nebo kombinatorická logika).

Zajímavé výsledky

Zajímavé hypotézy/teze

Tato teze se snaží spojit intuitivní pojem algoritmu s matematickou definicí Turingova stroje. Spojuje tak filozofický a matematický svět, a proto ze své podstaty není matematickým tvrzením.

Literatura

  • SIPSER, Michael. Introduction to the Theory of Computation. : Cengage Learning, 2005. 400 s. Dostupné online. ISBN 0619217642. 
  • HOPCROFT, John. Introduction to Automata Theory, Languages, and Computation. : Pearson Education, 2007. ISBN 0321514483. 

Související články

Externí odkazy

Pahýl
Pahýl
 Tento článek je příliš stručný nebo postrádá důležité informace.
Pomozte Wikipedii tím, že jej vhodně rozšíříte. Nevkládejte však bez oprávnění cizí texty.