Re: [FUG-BR] Primeiro sistema operacional 100% livre de e rros está pronto
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
Re: [FUG-BR] Primeiro sistema operacional 100% livre de e rros está pronto
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 (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
Re: [FUG-BR] Primeiro sistema operacional 100% livre de e rros está pronto
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 corretude em um software ? 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
