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

[Davi Vercillo C. Garcia]

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
> código objeto - em uma linguagem formal, representada em binário,
> seguindo os axiomas da arquitetura de von Neumman ...).

Foi um pergunta retórica... mas tudo bem... =P

Abraços,
-- 
Davi Vercillo C. Garcia
B.Sc. Student - DCC-IM/UFRJ
Trainee (SysAdmin) - NACAD/COPPE

"A computer lets you make more mistakes faster than any invention in
human history with the possible exceptions of handguns and tequila." -
Unknown