Algoritmo: Pagkakaiba sa mga binago

Ang konsepto ng algoritmo ay pumaimbulog ng ilang siglo subalit ang bahagyang pormalisasyon ng magiging modernong algoritmo ay nagsimula sa pagnanais na bigyang solusyon ang Entscheidungsproblem (ang ”pagpiling problema”) na ipinresenta ni David Hilbert noong 1928. Ilang pormalisasyon ang isinabalangkas bilang pagtangaka sa pagpaliwanag ng “epektibong pagkalkula” o “epektibong paraan”; kasama sa mga pormalisasyon na yun ay ang Gödel–Herbrand–Kleene recursive functions ng 1930, 1934, at 1935, ang lambda calculus ni Alonzo Church noong 1936, “Formulation 1” ni Emil Post noong 1936, at ang Turing Machine ni Alan Turing noong 1936-7 at 1939. Ang pagbibigay ng pormal na depinisyon ng algoritmo, na sumasangayon sa pangkaraniwang kaalaman, ay nanatiling mahirap na masolusyonang problema.

 

 

[[Kategorya:Agham pangkompyuter]]