Jednym z ważnych momentów w historii informatyki i matematyki było stworzenie przez Alana Turinga modelu komputera, nazwanego później maszyną Turinga.

O tym, czego nie umieją (i nigdy nie będą umiały!) zrobić komputery. I o tym, co się kryje na styku światów informatyki i matematyki.