Joao Marcos escreveu:

> Tome a = sqrt(2) e b = 2log_2(3).
>      Obviamente, b é irracional, pois se log_2(3) = m/n,
>           então 3^n, que é ímpar, é igual a 2^m, que é par.
> Mas note que a^b = 3.
>   

Fim de papo, graças ao Errett Bishop, apud Gabriel Stolzenberg, apud 
João Marcos sabemos que há pelo menos um número racional, o 3, que é 
resultado da potência de dois números irracionais. E no Bishop eu 
confio. Sei que não é dado a crendices :)

Mas e o 2 hein? será que ele também é o resultado da potência de dois 
números irracionais??

Saudações,
Daniel
_______________________________________________
Logica-l mailing list
[email protected]
http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l

Responder a