Ai acima vem uma série de coisas que podem ser solucionadas, ou demonstradas apenas com o auxílio dos computadores

Ai acima vem uma série de coisas que podem ser solucionadas, ou demonstradas apenas com o auxílio dos computadores.
Entretanto, de acordo com o teorema da incompletude de Gödel (para mais informações consulte a minha página em: http://br.geocities.com/danilomatias17/UDESC/Materias/LFM_Linguagens_Formais_deMaquinas/TEC.html Olhe na Tabela que está dentro de outra tabela, desctacado com fundo verde: TEOREMA DE GÖDEL, acesse aqueles links ali) nem todas as "informações" verdadeira são possíveis de provar sua veracidade ...!

Para as demais, quando o problema é decidível, é possível utilizar um computador para auxiliar na prova de um teorema ...!
Está agarrado na bóia ?
Se limite a entender que nem tudo um computador consegue resolver, é devido a isso que nós aspirantes a cientistas da computação nos matamos em provar que determinados problemas não são decidíveis, ou em outras palavras um computador não pode resolver ...!
Resolvi selecionar algumas coisas que os computadores puderam auxiliar na prova ...! Essas coisas estão ai em cima!