Caríssimo Vidal:
Agradeço-lhe pelas palavras de consolo (consolo? Sou espada!), mas, fortuitamente, estou acorrentado ao fatalismo judaico-cristão e, assim, a cada uma das muitas vezes em que me descubro em falha de qualquer espécie, nomeadamente a do conhecimento (ou do xadrez), lanço-me no calvário de meu próprio martírio, a fim de abrandar a minha vaidade (que é grande!). A propósito, concordo com você: ao homem ápice da evolução darwinista ou da criação divina (no chute, fico com a 1ª hipótese!) deveriam ser dados 3 dons: o da onisciência holística, o da ubiquidade e o da imortalidade. Em contrapartida, deveríamos ser vítimas das 3 maldições chinesas: Que os seus desejos se realizem!; Que você viva em uma época de interesse histórico!; e, como agora não me lembro da 3ª, fica aí a maldição de Asaverus, o judeu errante. Quanto ao convite para o chope, este, é claro, já está aceito. Aproveito para estendê-lo ao Nehab, Rogério Ponce, Ralph e demais velhinhos (se bem que não sei se o Ralph é velhinho, contudo vale o convite!). E mais: já proponho o Guimas, na Praça do Jockey, em alguma 6ª feira, às 19:00h. Lá reunidos, sem dúvida, poderemos resolver, na pequena toalha da mesa, todos os 6 Problemas do Milênio que ainda estão em aberto e abiscoitar, cada um, US$ 1 milhão. Saudações, Albert. <mailto:bousk...@gmail.com> bousk...@gmail.com <mailto:bousk...@ymail.com> bousk...@ymail.com From: owner-ob...@mat.puc-rio.br [mailto:owner-ob...@mat.puc-rio.br] On Behalf Of *Vidal Sent: Monday, April 06, 2009 2:39 AM To: OBM Subject: [obm-l] Re: [obm-l] RE: [obm-l] Re: [obm-l] RE: [obm-l] Re: [obm-l] Um problema clássico da Teoria dos Números Caro Bouskela, Não se martirize ! Somos todos ignorantes, não no sentido pejorativo da palavra, mas na acepção de ignorarmos, desconhecermos os milhares, talvez milhões, de teoremas, conjecturas, problemas abertos e resultados já existentes, afora os que estão sendo gerados neste exato momento em todo o mundo, e os que ainda estão por vir até o fim dos nossos dias. E se, nesta ocasião derradeira, os terroristas suicidas islâmicos são agraciados com setenta virgens cada, talvez para nós esteja reservada como prêmio a onisciência matemática, a fim de nos livrar de todo este martírio terreno. Em tempo, o Gelfond e o Schneider só fizeram a parte fácil do sétimo problema de Hilbert, o caso de b (expoente) irracional e algébrico. Ficou faltando a melhor parte, quando b é irracional, mas não algébrico. Quem sabe um dia a gente não marca um chope, num destes bares com toalha de papel na mesa, e termina o trabalho que eles deixaram inacabado? :) Abraços, Vidal. :: vi...@mail.com *** 2009/4/5 Albert Bouskela <bousk...@ymail.com> Olá Vidal, Pois é, vivendo e aprendendo. Fiquei meio envergonhado por não conhecer esse Teorema de Gelfond (aliás, bem famoso e recente!). E é mesmo pra sentir vergonha, já que ele resolve o 7º Problema de Hilbert. Bem, obrigado. Mas admito: fiquei meio chateado pela minha ignorância. AB bousk...@gmail.com bousk...@ymail.com From: owner-ob...@mat.puc-rio.br [mailto:owner-ob...@mat.puc-rio.br] On Behalf Of *Vidal Sent: Sunday, April 05, 2009 2:36 AM To: OBM Subject: [obm-l] Re: [obm-l] RE: [obm-l] Re: [obm-l] Um problema clássico da Teoria dos Números Caro Bouskela, Mas 2^sqrt(2) "parece" e é "bem" irracional ! Aleksander Gelfond provou em 1934 que se *a* é algébrico não nulo diferente de um e *b* é algébrico e irracional, então *a^b* é transcendente (e portanto, irracional). Apesar de Schneider também ter demonstrado a mesma proposição de forma independente no mesmo ano, o resultado ficou conhecido como "Teorema de Gelfond" (em mais uma destas injustiças históricas que grassam na Matemática). Assim, 2^sqrt(2) é irracional, assim como também o é e^pi, já que e^pi = (-1)^(-i). Desta forma, eles resolveram *parcialmente* o sétimo dos vinte e três famosos problemas de Hilbert, propostos em 1900. Mas ainda falta resolver o caso de *b* ser irracional, mas não algébrico. Não sabemos até hoje, por exemplo, se 2^e é irracional (apesar de "parecer" sê-lo). Abraços, Vidal. :: vi...@mail.com *** 2009/4/5 Albert Bouskela <bousk...@ymail.com> Olá! Hummm... acho que não... 2^sqrt(2) tem, de fato, toda a aparência de um irracional, bem irracional. Entretanto, é preciso demonstrá-lo. A solução deste problema (pelo menos, a solução que eu conheço) não passa pela determinação (identificação) de x e y, i.e., consegue-se apenas demonstrar que x e y existem, mas não identificá-los. Sds., AB bousk...@gmail.com bousk...@ymail.com From: owner-ob...@mat.puc-rio.br [mailto:owner-ob...@mat.puc-rio.br] On Behalf Of *Vidal Sent: Saturday, April 04, 2009 3:27 PM To: OBM Subject: [obm-l] Re: [obm-l] Um problema clássico da Teoria dos Números Caro Bouskela, x = 2^sqrt(2) y = sqrt(2) x^y = 4 Bom final de semana ! Abraços, Vidal. :: vi...@mail.com