Posté par needs .
En réponse au journal Paris sous les balles.
Évalué à 3.
Dernière modification le 17 novembre 2015 à 12:29.
Une autre position est de dire que même si dieu il y a, dieu n'intervient pas (ou ne peut intervenir) dans l'univers qu'il a créé lors du Big Bang. La question de l'existence de dieu serait donc sans importance.
Notons que si dieu peut intervenir et modifier l'univers selon sa volonté, alors tout l'effort scientifique pour comprendre l'univers est inutile puisque que les lois peuvent être modifiées à tout moment. Dieu pourrait jouer avec nous et nous rendre fou !
En informatique (et mathématiques), le premier théorème d’incomplètude de Gödel nous dit qu'une théorie (un ensemble finit d'axiomes et de règles de déduction) ne pourra jamais décrire l'ensemble des vérités. Ou dit plus grossièrement, il existera toujours des énoncés vrais que l'on pourra pas démontrer (en mathématiques du moins).
D'ailleurs il me semble que récemment il a été démontré que plus l'énoncé vrai est long, moins il a de chance d'être démontrable. Ou dit autrement, la densité d'énoncés vrai indémontrable tend vers 1 quand la longueur des énoncés tend vers l'infini.
Donc même si les mathématiques semblent échapper au contrôle de dieu, il y aura toujours des choses vraies, mais inexplicables. N'est-ce pas un signe que l'existence de dieu est sans importance ? ;)
[^] # Re: Dieu n'existe pas
Posté par needs . En réponse au journal Paris sous les balles. Évalué à 3. Dernière modification le 17 novembre 2015 à 12:29.
Une autre position est de dire que même si dieu il y a, dieu n'intervient pas (ou ne peut intervenir) dans l'univers qu'il a créé lors du Big Bang. La question de l'existence de dieu serait donc sans importance.
Notons que si dieu peut intervenir et modifier l'univers selon sa volonté, alors tout l'effort scientifique pour comprendre l'univers est inutile puisque que les lois peuvent être modifiées à tout moment. Dieu pourrait jouer avec nous et nous rendre fou !
En informatique (et mathématiques), le premier théorème d’incomplètude de Gödel nous dit qu'une théorie (un ensemble finit d'axiomes et de règles de déduction) ne pourra jamais décrire l'ensemble des vérités. Ou dit plus grossièrement, il existera toujours des énoncés vrais que l'on pourra pas démontrer (en mathématiques du moins).
D'ailleurs il me semble que récemment il a été démontré que plus l'énoncé vrai est long, moins il a de chance d'être démontrable. Ou dit autrement, la densité d'énoncés vrai indémontrable tend vers 1 quand la longueur des énoncés tend vers l'infini.
Donc même si les mathématiques semblent échapper au contrôle de dieu, il y aura toujours des choses vraies, mais inexplicables. N'est-ce pas un signe que l'existence de dieu est sans importance ? ;)