|
Realmente eu deixei pouco claro o modo como escrevi sobre o problema. Eu quis dizer que a correlação com o problema P versus NP é a "demonstração de uma demonstração" é que é preciso provar se existe uma "demonstração" para demonstração antes de tentar achar uma. Isso está no ambito de pesquisa do problema NP. Quanto aos problemas do milênio Sérgio, são 7 problemas matemáticos apresentados pelo Instituto de matemática Clay, e eles estão oferecerendo $ 1.000.000,00 por problema para quem os resolver. O link oficial dos problemas: http://www.claymath.org/millennium/ Para uma versão em portugues http://www.dm.ufscar.br/hp/hp853/hp853001/hp853001.html Um noticia legal é que foi apresenteada este ano a solução de um dos problemas do milênio - a conjectura de Poincaré - ele foi resolvido pelo matemático russo Grigory Perelman. O cara faturou um milhão de verdinhas alem de ganhar a medalha Fields - o nobel da matemática. Aqui tem a noticia: http://www.e-escola.pt/site/destaque.asp?dest=87 Ainda têm os problemas de Hilbert, caso você não conheça: http://pt.wikipedia.org/wiki/Problemas_de_Hilbert Espero ter te inspirado ainda mais a pratica da matemática. Pra mim estes problemas são extremamente estimulantes, alem claro do meu gosto natural pela matematica. Abraços. Sérgio Martins da Silva escreveu: Caros Rodrigo e arcguede, Poderiam me esclarecer o que demonstração de uma demonstração tem a ver com problemas NP? Qual bibliografia recomendam sobre isso? Abraços, Sérgio ----- Original Message ----- From: <rodrigocientista@xxxxxxxxxxxx> To: <obm-l@xxxxxxxxxxxxxx> Sent: Tuesday, December 18, 2007 12:46 AM Subject: [obm-l] Re: [obm-l] Re: [obm-l] DemonstraçõesAcredito que o problema NP seja provar que existe ou não uma forma matemática, objetiva, de transformar problemas NP (com tempo de processamento não polinomial) em problemas P (tempo de processamento polinomial). Correto? qual seria a remissão a que você se referiu? ----- Original Message ----- From: <arcguede@xxxxxxxxx> To: <obm-l@xxxxxxxxxxxxxx> Sent: Monday, December 17, 2007 2:16 AM Subject: Re: [obm-l] Re: [obm-l] DemonstraçõesAcho que isso nos remete ao "terceiro problema do milênio" - o problema NP. rodrigocientista@xxxxxxxxxxxx escreveu:Acredito que uma "demonstração de demonstração" seria algo como "chover no molhado". Uma demonstração está correta se, em última instância, está de acordo com os axiomas mais básicos da matéria. Então, uma demonstração de demontração recorreria, também em última análise, exatamente aos mesmos axiomas, sendo assim redundante. Se você fala inglês, aqui está um fórum onde há diversos debates interessantes sobre esses assuntos, além de resolução técnica de questões de matemática, física química, engenharia em geral, etc... http://www.physicsforums.com/ abraços ----- Original Message ----- From: "Sérgio Martins da Silva" <sms.sergio@xxxxxxxxx> To: "Lista OBM" <obm-l@xxxxxxxxxxxxxx> Sent: Sunday, December 16, 2007 10:56 PM Subject: [obm-l] Demonstrações |