A história da computação está profundamente ligada à lógica formal, que é fundamental para o desenvolvimento de algoritmos e estruturas de dados, além de ser a base para a programação e a computação em geral. Analisando as alternativas: a) Números complexos - Embora sejam importantes em várias áreas da matemática e da engenharia, não são o foco principal da computação. b) Teoria dos conjuntos - É um conceito matemático importante, mas não é o que mais diretamente se relaciona com a história da computação. c) Lógica formal - Esta é a alternativa correta, pois a lógica formal é essencial para a computação, influenciando a forma como os computadores processam informações. d) Teorema de Pitágoras - É um teorema da geometria, não diretamente relacionado à computação. Portanto, a resposta correta é: c) Lógica formal.