Re: Douleurs et souffrances dans la bible

Cardinal de Here  :

Qu'est-ce qui vous fait dire que le problème concret du saut d'une
espèce à une autre est similaire au problème théorique de
l'algorithmique ?

L'idée de base c'est que toute vie constitue un indécidable dans le
système formel qui permet de décrire le monde inanimé.

Quel système formel pourrait décrire un "monde inanimé" ?

Dit autrement les mathématiques ne permettent pas d'informer la vie []
On me dira avec raison que je n'ai pas démontré que ZF+P est incapable
d'engendrer le vivant. Et c'est vrai, c'est justement un indécidable que
l'on vérifie de manière expérimentale en constatant que l'animé ne
surgit pas spontanément de l'inanimé. Et cette hypothèse est
scientifique puisqu'elle a le mérite d'être falsifiable par
l'observation.

Absence de preuve n'étant pas preuve d'absence, cette incapacité n'est en
effet pas vérifiée, seulement supposée.

Il est possible en théorie de compléter ZF+P en lui ajoutant une
infinité d'axiomes. Mais dans ce cas ZF+P+aleph où aleph désigne
l'infinité d'axiomes ajoutés, ne constitue pas un système formel,
c'est-à-dire un monde. Ce que l'on a décrit c'est la puissance de Dieu
qui n'appartient à aucun des mondes possibles. Levin démontre que Dieu
est impossible à construire à partir d'un phénomène physique vraiment
aléatoire. Le calcul de Dieu est impossible parce que, je cite :

Un dieu omnipotent etc. constructible supposerait un constructeur autre
que lui-même, ce qui conduirait à une récursion infinie. Si c'était plutôt
autopoïétique, dans quel genre d'environnement pourrait-ce éclore ?

Dit autrement aucun procédé aléatoire ne peut calculer donc créer la
source. Ce qui constitue l'affirmation fondamentale de la métaphysique
hébraïque, qu'elle soit juive, chrétienne ou musulmane.

Le monothéisme mènerait à la question "Qu'est-ce que je fous-là ?" ?

à +
--
Alex