Dans le cas général ou pour ce problème précis ? Parce que sinon c'est assez nul comme réponse hein.
On peut montrer qu'il n'existe pas de morphisme du groupe des permutations d'un ensemble à N éléments dans (×ばつ) différent de l'identité et de la signature ... C'est une preuve, elle marche, ça montre que quelque chose n'existe pas : où est donc le problème ?
Pour prendre un exemple plus « informatique », prenons la calculabilité. Typiquement : existe-t-il une machine de Turing qui prend en argument le code d'une machine de Turing, et une entrée, et détermine si le calcul de la machine sur l'entrée termine ? Et bien on peut prouver que non.
On arrive donc à la conclusion que ton affirmation était nécessairement à comprendre dans le sens « prouver que Dieu n'existe pas est impossible ». Ce qui montre déjà qu'il y a eu un quiproquo parce que j'avais compris que l'on parlait de démarche générale, mais continuons tout de même.
Je ne vois pas en quoi il est formellement impossible de prouver l'existence de Dieu, tout comme prouver sa non existence ... Pour le coup, tu affirmes qu'il n'existe pas de preuve (dans un sens comme dans l'autre), et j'aimerais alors une démonstration de ce théorème ;-).
[^] # Re: Dieu n'existe pas
Posté par Aluminium95 . En réponse au journal Paris sous les balles. Évalué à 3.
Dans le cas général ou pour ce problème précis ? Parce que sinon c'est assez nul comme réponse hein.
On peut montrer qu'il n'existe pas de morphisme du groupe des permutations d'un ensemble à N éléments dans (×ばつ) différent de l'identité et de la signature ... C'est une preuve, elle marche, ça montre que quelque chose n'existe pas : où est donc le problème ?
Pour prendre un exemple plus « informatique », prenons la calculabilité. Typiquement : existe-t-il une machine de Turing qui prend en argument le code d'une machine de Turing, et une entrée, et détermine si le calcul de la machine sur l'entrée termine ? Et bien on peut prouver que non.
On arrive donc à la conclusion que ton affirmation était nécessairement à comprendre dans le sens « prouver que Dieu n'existe pas est impossible ». Ce qui montre déjà qu'il y a eu un quiproquo parce que j'avais compris que l'on parlait de démarche générale, mais continuons tout de même.
Je ne vois pas en quoi il est formellement impossible de prouver l'existence de Dieu, tout comme prouver sa non existence ... Pour le coup, tu affirmes qu'il n'existe pas de preuve (dans un sens comme dans l'autre), et j'aimerais alors une démonstration de ce théorème ;-).