Kako vsemogočen je vsemogočni računalnik?
User documentation
24.03.2013
Predavanje v okviru Famnitovih izletov v matematično vesolje:
[[http://matematicni-izleti.famnit.upr.si/sl/program-1213/turing
]]
Leta 2012 praznujemo stoto obletnico rojstva očeta računalništva in informatike Alana Turinga (1912-1954). Na predavanju bomo spoznali nekaj rezultatov njegovega dela, ki močno vplivajo na naše pristope k reševanju povsem praktičnih problemov. Ob tem bomo srečali pojem modela računanja ter ugotavljali, kakšne probleme je računalnik pravzaprav sposoben rešiti. Med drugimi bomo spoznali probleme kot je, kako si čim hitreje ogledati mestne znamenitosti ali kako učinkovito sestaviti šolski urnik. Ob zaključku bomo trli najtrši oreh, ki ga je opisal nemški matematik David Hilbert leta 1928 in je znan pod imenom Entscheidungsproblem (Odločitveni problem).
Predavanje je primerno za srednješolce.