[FUG-BR] Primeiro sistema operacional 100% livre de erros está pronto

[Julião Braga]

-----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-----