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 ------------------------- Histórico: http://www.fug.com.br/historico/html/freebsd/ Sair da lista: https://www.fug.com.br/mailman/listinfo/freebsd
