domingo, outubro 08, 2006

Gödel 1, Deus 0

Deus não pode saber que esta proposição é verdadeira.

É fácil de ver porquê: se soubesse, então a proposição seria falsa, e Deus não pode saber como verdadeiro algo que é falso.

O curioso é que, graças a Gödel, agora sabemos algo que Deus não pode saber.

15 comentários:

  1. Que aconteceria se eu escrevesse:

    O Ludwig Krippahl não pode saber que esta proposição é verdadeira.

    ResponderEliminar
  2. Mesma coisa. Mas eu não alego ser omnisciente, por isso não há problema se houver algo que eu não posso saber mas que outros sabem.

    ResponderEliminar
  3. Desculpe a ignorância, mas além de ser iliterato matamático creio que me escapa mais qualquer coisa: a que proposição se está a referir?

    ResponderEliminar
  4. À própria proposição. O problema surge da auto-referência, com a frase a referir-se a si mesma.

    ResponderEliminar
  5. Esta do iliterado matamático foi a coisa mais cómica que lí na net nos últimos seis meses
    :o)

    ResponderEliminar
  6. Eu também achei graça quando li, mas depois lembrei-me que a dada altura quando queria dizer "quem anda à chuva molha-se" disse "quem anda a pé, chuva-se"...

    ResponderEliminar
  7. Sempre é melhor que a minha cara metade, que uma vez, ao descrever um conhecido com poucos recursos financeiros, referiu-se a ele como "não tendo nem um furão tostado".

    ResponderEliminar
  8. Muito bom! Hehehe! Soa a especialidade gastronómmica saída directamente de um filme do Indiana Jones.

    ResponderEliminar
  9. "Deus não pode saber que esta proposição é verdadeira."

    E se Deus puder saber? :D
    Não foi Deus que disse isso pois não? Foi alguém que disse dele :D

    ResponderEliminar
  10. Por outras palavras, Deus podia saber que a proposição é verdadeira. Só não o sabe porque não é. :)

    ResponderEliminar
  11. Xico,

    Se a proposição não for verdadeira, Deus não pode saber que a proposição é verdadeira. Isso seria saber uma coisa que não é; seria estar enganado.

    Por isso se a proposição for falsa tem que ser verdadeira, o que é contradição. Logo não é falsa.

    Mas se a proposição é verdadeira então Deus não pode saber que é verdadeira (se soubesse seria falsa, e isso é contraditório).

    Logo a proposição é verdadeira, nós sabemos que é verdadeira, mas Deus não pode saber. Por isso se o vires não lhe digas senão o Universo desintegra-se :)

    ResponderEliminar
  12. "Por isso se a proposição for falsa tem que ser verdadeira, o que é contradição. Logo não é falsa."
    É isto que não percebo bem :x
    Por que é que como se contradiz é verdadeira?


    "Por isso se o vires não lhe digas senão o Universo desintegra-se :)"

    Ahah, não digo :P

    ResponderEliminar
  13. Tinha o gmail ligado :P
    Sou o Xico :)

    ResponderEliminar
  14. Vamos supor que a proposição é falsa. Se é falsa, então Deus não pode saber que é verdadeira. Não se pode saber que é verdade uma coisa que é falsa.

    Mas se Deus não pode saber que a proposição é verdadeira então a proposição tem que ser verdadeira, porque é isso que ela diz.

    Ou seja, se assumirmos que é falsa chegamos a uma contradição. Esta é uma forma de demonstrar que a proposição é verdadeira.

    ResponderEliminar
  15. Ah ah xD
    Então o que fizeram foi arranjar uma afirmação que se contradissesse ou que fosse verdadeira, só sendo assim admitida a hipótese de ser verdadeira :D

    Brutal, genial xD

    ResponderEliminar

Se quiser filtrar algum ou alguns comentadores consulte este post.