Co počítače nedovedou ?

Počítače a počítačový software tvoří nepostradatelnou součást našich životů. Vývoj jejich schopností je ohromující a tak bychom si mohli myslet, že nemá žádné meze. V této přednášce dokážeme, že tomu tak není - existují problémy, které nejsou počítačovými programy řešitelné. Nejde přitom o problémy jakkoliv exotické. Příklady, které uvedeme, se týkají ověřování správného fungování programů a logického usuzování.
 
Další informace: https://www.cs.cas.cz