Entrar
Usuário novo? Cadastre-se
ciencialist · Ciência
? Você já é um associado? Entre no Yahoo!

Dicas

Você sabia...
Você pode fazer buscas no grupo por mensagens antigas.

Mensagens

  Ajuda
Avançado
Teorema da incompletude de Godel   Lista de mensagens  
Responder | Encaminhar Mensagem #2735 de 75480 |


Roberto Mitsuo Takata wrote:analisado. tm nao achei muitos didaticas as
explicacoes de topicos

> especificos como 'potencia do continuum', 'teorema de godels' e outros
> matematiqueses - alias se alguem souber me explicar o q. sao isso ficaria
> agradecido... mas eu acho q. valeu a pena a grana investida.

O q escrevo a seguir vem de memória e esta sujeito a erros :

O teorema de Gödel conhecido tambem como "Teorema da Incompletude"
estabelece que a Matemática nao é fechada, isto é, ela é incompleta :
Existem questoes e problemas que NAO podem ser respondidos pelos
axiomas matemáticos EMBORA estes problemas possam estar bem definidos
nesta matemática.
Mesmo que se introduzisse novos axiomas à matemática para resolver estes
problemas
SEMPRE existirão novos problemas que nao serão respondidos por ela
e assim ad infinitum.

Vou dar um exemplo (nao sei se valido) : Considere a questao :
Existe uma funcao que para cada natural diferente forneça um numero primo
diferente ?
Primo = F( N ) ?
Esta questao PODERIA ( nao sei se é ) um exemplo de um problema
nao soluvel pelos atuais axiomas da matematica.
[]s
jocax




Qui, 16 de Dez de 1999 10:32 am

jocax@...
Enviar e-mail Enviar e-mail

Encaminhar Mensagem #2735 de 75480 |
Expandir mensagens Nome/E-mail Classificar por data

Roberto Mitsuo Takata wrote:analisado. tm nao achei muitos didaticas as explicacoes de topicos ... O q escrevo a seguir vem de memória e esta sujeito a erros...
Joao Carlos Holland d...
jocax@...
Enviar e-mail
16 de Dez de 1999
10:30 am

Assunto: [ciencialist] Teorema da incompletude de Godel ... Vou dar um exemplo (nao sei se valido) : Considere a questao : Existe uma funcao que para cada...
Luiz Ferraz Netto
leo@...
Enviar e-mail
16 de Dez de 1999
12:25 pm

... Essa é uma outra questao, q resolveria a primeira, se tivesse resposta. ... Vc nao entendeu : A Pergunta é SE existe uma função ( como a q vc propos ) ...
Joao Carlos Holland d...
jocax@...
Enviar e-mail
16 de Dez de 1999
1:08 pm

O único exemplo que eu conheço de proposições que não podem ser decididas são do tipo "auto-referentes" por exemplo: O conjunto de todos os conjuntos que...
andreba@...
Enviar e-mail
17 de Dez de 1999
12:36 pm

... Que eu saiba tambem o teorema de Godel nao definiu os " tipos" de problemas que sao ou nao sao decidiveis. Apenas disse que existem e sempre existirao. ......
Joao Carlos Holland d...
jocax@...
Enviar e-mail
17 de Dez de 1999
1:11 pm

Olá gentes! Já ouvi muitas histórias sobre o Teorema de Godel, e a maior parte deleas cita como exemplos questões auto- referentes. Não ficou claro, na...
Ego
ego_sun@...
Enviar e-mail
19 de Dez de 1999
12:30 am

... Eu nao concordo . Acho q esta conclusao extrapolou um pouco. []s jocax...
Joao Carlos Holland d...
jocax@...
Enviar e-mail
20 de Dez de 1999
1:13 pm
Avançado

Copyright © 2009 Yahoo! do Brasil Internet Ltda. Todos os direitos reservados.
Política de Privacidade - Termos do Serviço - Diretrizes - Ajuda