-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 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 código objeto - em uma linguagem formal, representada em binário, seguindo os axiomas da arquitetura de von Neumman ...).
Isso é um assunto conhecido nas boas escolas de Ciência da Computação. []s, Julião Davi Vercillo C. Garcia escreveu: > 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-pronto&id=010150091020 > > Não existe uma lei de Eng. de Software que diz que é impossível > alcançar 100% de corretude em um software ? > > Abraços, -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.2.2 (MingW32) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iD8DBQFK5K3D0m/vNWbSX14RAj3jAJ9dgKNLcbF7uSPnbycdWLqqvonFcQCgvTvv S5tFtaLvlChgOVJbDLwG9Mk= =KCWI -----END PGP SIGNATURE----- ------------------------- Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
