Teorie matematika Kurta Gödela, od jehož narození letos uplynulo 120 let, ovlivňují i současný vývoj robotů a automatizovaných systémů. Kolegové z Ústavu automatizace a informatiky FSI během Noci muzeí ukázali, proč jsou Gödelovy poznatky stále aktuální a jak souvisejí s bezpečností softwaru, testováním programů i spoluprací robotů s lidmi.

Teorie matematika a logika Kurta Gödela, rodáka z Brna, patří k nejvýznamnějším oborovým dílům 20. století a obdivoval je i Albert Einstein. Přestože vznikly před desítkami let, jejich význam dnes sahá daleko za hranice matematiky – ovlivňují také vývoj moderních informačních technologií, robotiky a automatizovaných systémů. Celý text kolegy Branislava Lacka si můžete přečíst zde.