Preskoči na glavno vsebino

David Gajser: Neodločljivi problemi brez prevedb

Datum objave: 7. 5. 2013
Seminar za teorijo grafov in algoritme
Četrtek 9. 5. 2013 ob 12:15 v PS na Jadranski 19.
Znanih je veliko neodločljivih problemov in pri večini se neodločljivost dokaže s prevedbo iz že znanega neodločljivega problema. Neodločljivost nekaterih problemov pa gre pokazati brez prevedb ...