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.
Que aconteceria se eu escrevesse:
ResponderEliminarO Ludwig Krippahl não pode saber que esta proposição é verdadeira.
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.
ResponderEliminarDesculpe 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À própria proposição. O problema surge da auto-referência, com a frase a referir-se a si mesma.
ResponderEliminarEsta do iliterado matamático foi a coisa mais cómica que lí na net nos últimos seis meses
ResponderEliminar:o)
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"...
ResponderEliminarSempre é 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".
ResponderEliminarMuito bom! Hehehe! Soa a especialidade gastronómmica saída directamente de um filme do Indiana Jones.
ResponderEliminar"Deus não pode saber que esta proposição é verdadeira."
ResponderEliminarE se Deus puder saber? :D
Não foi Deus que disse isso pois não? Foi alguém que disse dele :D
Por outras palavras, Deus podia saber que a proposição é verdadeira. Só não o sabe porque não é. :)
ResponderEliminarXico,
ResponderEliminarSe 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 :)
"Por isso se a proposição for falsa tem que ser verdadeira, o que é contradição. Logo não é falsa."
ResponderEliminarÉ 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
Tinha o gmail ligado :P
ResponderEliminarSou o Xico :)
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.
ResponderEliminarMas 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.
Ah ah xD
ResponderEliminarEntã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