Fala,
Sim, existe um teorema. Chama-se Teorema da Parada. Associado à máquina
de Turing e ao Teorema de Goedel. Ele não aborda a questão de corretude,
que é outra coisa, mas prova que é impossível afirmar que um programa
está 100% correto (mesmo um simples Hello World, onde por trás tem um
Pessoal,
Acho que essa thread já deu, né ?
Não fiz a abordagem com o objetivo de criar um debate acadêmico. Somente
para responder ao Davi.
Mesmo que tenha sido uma resposta a uma pergunta retórica... hiuiha... =P
Abraços,
--
Davi Vercillo C. Garcia
B.Sc. Student - DCC-IM/UFRJ
Trainee
Fala Giancarlo,
Acho que faltou um [OFF] no assunto dessa thread... =P
http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-prontoid=010150091020
Não existe uma lei de Eng. de Software que diz que é impossível
alcançar 100% de
3 matches
Mail list logo
