Path: ...!news.nobody.at!2.eu.feeder.erje.net!3.eu.feeder.erje.net!feeder.erje.net!proxad.net!feeder1-2.proxad.net!cleanfeed1-b.proxad.net!nnrp2-2.free.fr!not-for-mail
Date: Sun, 31 Mar 2024 12:28:40 +0200
MIME-Version: 1.0
User-Agent: Mozilla Thunderbird
Subject: Re: Test de Logique
Newsgroups: fr.sci.maths
References: <660031f6$0$11906$426a74cc@news.free.fr>
 <6602747e$0$11929$426a74cc@news.free.fr>
 <660296b4$0$3004$426a74cc@news.free.fr>
 <6603c7de$0$29751$426a74cc@news.free.fr>
 <6603cdbc$0$29739$426a74cc@news.free.fr>
 <66040620$0$8237$426a74cc@news.free.fr>
 <66040fb8$0$2996$426a74cc@news.free.fr>
 <66049a4e$0$11907$426a74cc@news.free.fr>
 <66049e83$0$8256$426a74cc@news.free.fr>
 <6605b8eb$0$7514$426a74cc@news.free.fr>
 <6605bc39$0$2993$426a74cc@news.free.fr>
 <66072095$0$11891$426a74cc@news.free.fr>
 <660733a2$0$11921$426a34cc@news.free.fr>
 <6609020f$0$11894$426a74cc@news.free.fr>
 <66090e29$0$5274$426a74cc@news.free.fr>
Content-Language: fr
From: Samuel Devulder <samuel.devulder@laposte.net.inalid>
In-Reply-To: <66090e29$0$5274$426a74cc@news.free.fr>
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 8bit
X-Antivirus: Avast (VPS 240331-0, 31/3/2024), Outbound message
X-Antivirus-Status: Clean
Lines: 27
Message-ID: <66093ad8$0$29736$426a74cc@news.free.fr>
Organization: Guest of ProXad - France
NNTP-Posting-Date: 31 Mar 2024 12:28:40 CEST
NNTP-Posting-Host: 88.167.72.245
X-Trace: 1711880920 news-2.free.fr 29736 88.167.72.245:22602
X-Complaints-To: abuse@proxad.net
Bytes: 3017

Le 31/03/2024 à 09:18, SS.Innocents a écrit :

> laisse tomber, monsieur bug quand il manque une lettre dans une phrase,
> ou je ne sais quoi, ça prouve ...

Ca prouver qu'en math on est sérieux et on ne répond pas si on ne peut 
interpréter un texte ambigu par manque de formalisation axiomatique.

Ca fait des années que tu nous bassines avec des raisonnements sur les 
"croyances", mais sans jamais n'avoir défini le cadre formel dans lequel 
tu te places (axiomatisation). Nous t'avons donnés pourtant tous les 
pointeurs pour le faire et ainsi discuter tranquillement de la validité 
des raisonnements logiques que tu tiens.

Tant que tu te refuses de définir formellement ce que tu entends par 
"croire" en laissant naïvement penser que c'est une évidence (hint: ca 
ne l'est pas), tu n'auras pas de réponse satisfaisante ici.

Mais peut-être ne veux tu pas faire de maths. Dans ce cas, rendez-vous 
au bistro en face de l'église (aussi appelé fr.*.philosphie). C'est là 
qu'on refait le monde sans trop se soucier du formalisme. Et comme c'est 
aussi là que le curé planque les clefs après l'office, il est fort 
possible qu'après plusieurs apéros avec lui, tu finisses par trouver une 
réponse à tes histoires de machines en "ismes" (déisme, théisme, 
athéisme, agnosticisme, antithéisme, scepticisme, apathéisme).

Allez, bon weekend Pascal.