Path: ...!news.mixmin.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp3-2.free.fr!not-for-mail
From: Alex Ternaute <autret.herve@free.fr.invalid>
Subject: Re: Douleurs et souffrances dans la bible
Newsgroups: fr.soc.religion
References: <unsbim$3jsec$1@dont-email.me>
	<65a1bb61$0$2993$426a34cc@news.free.fr> <unselc$3k9mq$1@dont-email.me>
	<65a1c9e1$0$6109$426a34cc@news.free.fr> <unstk8$3poos$1@dont-email.me>
	<65a44338$0$7542$426a74cc@news.free.fr> <uo1qms$kjbs$1@dont-email.me>
	<65a56d0d$0$29752$426a74cc@news.free.fr> <uo432b$12aq7$1@dont-email.me>
	<65a6e993$0$2597$426a74cc@news.free.fr> <uo88te$1ur6l$1@dont-email.me>
	<65a83204$0$7527$426a34cc@news.free.fr> <uo9iao$277um$1@dont-email.me>
MIME-Version: 1.0
User-Agent: Pan/0.149 (Bellevue; 4c157ba)
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Date: 20 Jan 2024 01:40:30 GMT
Lines: 42
Message-ID: <65ab248e$0$2567$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 20 Jan 2024 02:40:30 CET
NNTP-Posting-Host: 90.17.193.222
X-Trace: 1705714830 news-2.free.fr 2567 90.17.193.222:43836
X-Complaints-To: abuse@proxad.net
Bytes: 3234

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