O documentário percorre uma incrível jornada matemática e filosófica no mundo da lógica. Trabalhando com sua equipe, o apresentador Dave Cliff, professor de Ciência da Computação e Engenharia na Universidade de Bristol, revela os fundamentos do raciocínio de Aristóteles a "Alice no País das Maravilhas", passando por sci-fi e supercomputadores.