Para quem gosta de computação.

Coloquei um novo trabalho que define os Teoremas, Corolários e Lemas da Teoria da Computação, juntamente com algumas definições matemáticas de Conjuntos e algumas operações.

Para quem não sabe o que é um Teoremas, Corolário e Lema, também tem a definição no documento.

Todo problema pode ser resolvido por um computador?

Os teoremas apresentados respondem a pergunta.

Está disponível na aba de Trabalhos.