Path: ...!weretis.net!feeder6.news.weretis.net!feeder8.news.weretis.net!news.mixmin.net!aioe.org!wWi+bf82x/J4IG13ZEtRgw.user.46.165.242.75.POSTED!not-for-mail
From: Samuel DEVULDER <samuel_dot_devulder@laposte_dot_net.invalid>
Newsgroups: fr.sci.maths
Subject: =?UTF-8?Q?Re=3a_Incoh=c3=a9rence=2c_Hypocrisie_ou_incomp=c3=a9tence?=
 =?UTF-8?Q?_technique_=3f?=
Date: Mon, 20 Dec 2021 20:39:12 +0100
Organization: Aioe.org NNTP Server
Message-ID: <spqm4v$1u9g$1@gioia.aioe.org>
References: <sot54i$o4f$1@shakotay.alphanet.ch>
 <sp02rb$6e4$1@shakotay.alphanet.ch> <sp04d2$a19$1@dont-email.me>
 <1pk0qjf.1xxyyhk1adgn7aN%gd2512@free.fr> <sp1rhe$jc0$1@dont-email.me>
 <spdjlp$4il$1@gioia.aioe.org> <spdjt3$1c2$1@dont-email.me>
 <spdrf4$1emt$1@gioia.aioe.org> <spdrm1$lop$1@dont-email.me>
 <spdt5s$2st$2@gioia.aioe.org> <spf4il$75t$1@dont-email.me>
 <spg05o$191t$1@gioia.aioe.org> <spg21i$ped$1@dont-email.me>
 <spg4ch$1d7e$1@gioia.aioe.org> <spg518$fdi$1@dont-email.me>
 <sphfkf$b8c$1@gioia.aioe.org> <sphpgc$oi6$1@dont-email.me>
 <sphrf2$1sbm$1@gioia.aioe.org> <sphrkp$4kq$1@dont-email.me>
 <spi3d8$1jkq$1@gioia.aioe.org> <spiaq5$663$1@dont-email.me>
 <spj5ei$5kt$1@gioia.aioe.org> <spk735$nkr$1@dont-email.me>
 <spkbm7$42u$1@gioia.aioe.org> <61c03280$0$8913$426a74cc@news.free.fr>
 <61c07a82$0$29505$426a74cc@news.free.fr> <sppu7p$lvf$1@dont-email.me>
 <sppvpn$1jlm$2@gioia.aioe.org> <spqh98$arh$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
Injection-Info: gioia.aioe.org; logging-data="63792"; posting-host="wWi+bf82x/J4IG13ZEtRgw.user.gioia.aioe.org"; mail-complaints-to="abuse@aioe.org";
User-Agent: Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101
 Thunderbird/91.4.0
X-Notice: Filtered by postfilter v. 0.9.2
Content-Language: fr
X-Antivirus-Status: Clean
X-Antivirus: Avast (VPS 211220-2, 20/12/2021), Outbound message
Bytes: 5576
Lines: 79

Le 20/12/2021 à 19:16, Le Loup Blanc de Usenet a écrit :

> je suis dévelopeur depuis mes 12 ans, 

Ca tombe mal, ici on fait des maths.

> croire ou ne pas croire est booléen pour moi,

Non c'est un opérateur qui porte sur un prédicat.

> si on exclue savoir et ne pas savoir...
> 
> donc dans la logique, si j'ai un variable booléen qui dis Dieu existe est "True"
> Dieu n'existe pas est "False"

C'est toute la différence entre la logique du 1er ordre et celles 
d'ordre supérieur. En l’occurrence la doxastique (la logique modélisant 
les croyances) est une logique modale. On ne peut pas simplement 
utiliser des "variables" booléennes pour travailler dessus. Thomas a 
donné le lien en anglais qui est mieux fourni que la page française[1]:

	https://en.wikipedia.org/wiki/Doxastic_logic

Typiquement, tu aura un certain opérateur de croyance qui est défini 
(𝓑) avec des axiomes qui expliquent sont comportement et ce qu'on peut 
en déduire.

Mais ça n'est pas suffisant. Il te faudra aussi, et c'est l'essentiel vu 
le sujet qui t'obnubile, définir la propriété Dieu(x) pour signifier "x 
est (un) dieu", ou plutôt "x est d'essence divine[2]".

A partir de là tu pourra raisonner formellement et faire des maths au 
lieu de la gesticulation et du blabla dans le vide.

Alors je te préviens: c'est assez ardu. Mais tu a un bol inouï, d'autres 
et non des moindres, ont déjà réfléchit à tout ca. Par exemple Gödel qui 
a obtenu la preuve ontologique de dieu.

	https://fr.wikipedia.org/wiki/Preuve_ontologique_de_G%C3%B6del

Cela veut dire qu'il a formellement prouvé l'existence d'un être divin.

C'est une grosse avancée par rapport à ce qui se faisait avant, par 
exemple Anselme ou Descartes qui ne font essentiellement de la rhétorique.
	https://fr.wikipedia.org/wiki/Argument_ontologique

Bon par contre Gödel n'a pas montré l'unicité d'un dieu. Il a juste 
montré que le caractère divin pouvait être déduit des axiomes. Mais 
peut-être qu'il existe plusieurs dieux. En quel nombre ? Sont-ils 
énumérables ou ont-ils la puissance du continu[3] ? Cela te laisse de 
quoi sérieusement travailler et faire avancer les maths, la 
métaphysique, voire même la pataphysique (soyons fous!).

Par contre fais gaffe! Si tu développes le moindre symptôme 
psychiatrique, stoppe le travail immédiatement et fais toi aider par des 
spécialistes. C'est très grave. Gödel a ainsi, après avoir bossé entre 
autre sur ce sujet, développé un délire de persécution le conduisant à 
la folie puis à la mort[4].

Enfin bref, bon travail, et bon courage!

sam.
____
[1] Mais c'est vrai que les Français ne croient plus en rien de toutes 
les façons.

[2] C'est combien le litre de ce machin là ?

[3] Bon il parait d'après les religions que dieu se fait très *discret* 
ces temps ci... donc il est/sont peut être *énumérables* , voire en 
nombre *finis* . Mais d'aucuns accusent les religions d'être pratiquées 
par des cons et de parler de dieu en *continu* . Alors va savoir: Faut 
il privilégier l'hypothèse du *continu* ou du *discret* ?

Et je ne parle pas non plus cons-finis en religion qui parlent de Dieu 
en continu. Ca serait alors une hypothèse tierce qu'il faudrait 
utiliser: ni discret, ni continue, mais le contraire!

[4] Sans doute a-t-il voulu voir Dieu de trop près. Les historiens des 
sciences sont en désaccord sur l’interprétation de son dernier geste.