-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Um pequeno programa é uma exceção. Algum programa (como esse que você
falou, talvez), com o espírito acadêmico (principalmente), pode tratar
exceções. O que não deixa de ter validade empírica, mesmo sabendo da
existência do Teorema da Parada.
É isso ai lista continuamos a thread... pois a aula está muito
interessante...
2009/10/26 Jean Everson Martina ever...@inf.ufsc.br
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Um pequeno programa é uma exceção. Algum programa (como esse que você
falou, talvez), com o espírito acadêmico
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Quer trazer a discussão In Topic de novo?
Eu falei com o Robert Watson (FreeBSD Foundation) a umas duas semanas
atras, quando o paper que deu origem a isso tudo foi publicado, e
perguntei quando teríamos uma coisa assim no FreeBSD, e a resposta foi:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Jean,
Se você está em um programa de doutorado, deve saber bastante sobre o
exercício da abstração.
Também, não posso imaginá-lo fazendo afirmações sobre desvios da
pesquisa de computação na universidade brasileira (como abordou em seu
e-mail
2009/10/26 Julião Braga jul...@braga.eti.br:
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Jean,
Se você está em um programa de doutorado, deve saber bastante sobre o
exercício da abstração.
Também, não posso imaginá-lo fazendo afirmações sobre desvios da
pesquisa de computação na
2009/10/25 Davi Vercillo C. Garcia daviverci...@gmail.com:
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,
--
2009/10/24 Nenhum_de_Nos math...@eternamente.info
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-prontoid=010150091020
como disse um amigo quando leu isso,
Nenhum_de_Nos wrote:
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-prontoid=010150091020
como disse um amigo quando leu isso, este so deve fazer só umprimir
2009/10/25 Daniel Bristot de Oliveira danielbris...@gmail.com:
2009/10/24 Nenhum_de_Nos math...@eternamente.info
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
-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
Leis surgiram para serem quebradas! :-D
Mas a verdade é que eu duvido que não tenha um erro sequer. Só se o
sistema só faz dar boot e printa Hello World na tela. Mas aí, não é
operacional...
2009/10/24 Davi Vercillo C. Garcia daviverci...@gmail.com:
Fala Giancarlo,
Acho que faltou um [OFF] no
Pô, não vi que já tinham respondido com Hello World... :-D k,
desculpem por duplicar a piada.
2009/10/24 Nenhum_de_Nos math...@eternamente.info:
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
Voce está misturando completamente as coisas. Os Teoremas de
imcompletude de Goedel não tem nada a ver com a história. Na verdade a
aplicação de Goedel é meramente matemática e em computação sua
aplicação é restrita teorema de parada de Touring. Mas o teorema de
parada também não se
Ainda assim, o que interessa é o seguinte:
é realmente um sistema operacional? Quer dizer, serve para eu operar
de verdade a máquina? Ou falavam apenas de um simples kernel que deu
boot, Hello World, e pronto?
Realmente concordo que o foco da notícia ficou equivocado. O bonito do
trabalho aí é o
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
O Teorema da Parada, prova a indecidibilidade, para qualquer programa. É
um teorema. O Teorema de Goedel não é meramente matemático. É um
teorema! Meramente matemático é um termo novo para mim. Não sei o que
significa. Nem vou lhe pedir para explicar.
On Sat, October 24, 2009 21:25, Giancarlo Rubio wrote:
Será??
http://www.inovacaotecnologica.com.br/noticias/noticia.php?artigo=primeiro-sistema-operacional-100-livre-erros-esta-prontoid=010150091020
como disse um amigo quando leu isso, este so deve fazer só umprimir hello
world e a hora para
16 matches
Mail list logo
