Ve90. výročí klíčového článku Alana Turinga, který položil základy moderní informatiky tím, že definoval pojem výpočet a ukázal existenci neřešitelných problémů, včetně legendárního problému zastavení, což zpochybnilo myšlenku univerzálního algoritmu pro rozhodování o pravdivosti logických výroků. #AlanTuring #Informática #Matemáticas
