Le Deal du moment :
Xiaomi Mi Smart Camera 2K Standard Edition (design ...
Voir le deal
11.39 €

Présentation d'une démonstration simplifiée des théorèmes de Gödel

+5
neopilina
hks
benfifi
Zhongguoren
Vanleers
9 participants

Page 10 sur 10 Précédent  1, 2, 3, 4, 5, 6, 7, 8, 9, 10

Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par benfifi Mar 27 Sep 2022 - 20:36

Je suis encor loin de la Grèce et n'ai pas mis
le pied sur notre sol ; j'erre, victime du malheur,
depuis le jour que j'ai suivi Agamemnon
vers Troie aux beaux poulains pour combattre ce peuple.

Homère l'Odyssée chant 11 vers 166.
Version de Philippe Jaccottet. le Club français du livre 1955, la Découverte 1982 2000 2004.

benfifi
Modérateur
Modérateur

Nombre de messages : 877
Date d'inscription : 08/12/2018

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Zhongguoren Mer 28 Sep 2022 - 7:52

Wittgenstein a écrit:Nous en savons autant que Dieu sait en mathématiques (Leçons sur les Fondements des Mathématiques).

_________________
Votre commentaire, votre remarque, votre objection sont-ils vraiment nécessaires ?

Zhongguoren
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 393
Date d'inscription : 23/06/2022

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par benfifi Jeu 29 Sep 2022 - 15:10

Voici l'extrait de Nane :
Vanleers a écrit:La formule G de Gödel

« ~ » étant la constante du système S(A) signifiant « Non », la formule « ~ Dem (x,z) » représente, à l’intérieur du système S(A), l’assertion métamathématique : « La suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Introduisons le préfixe (x) qui signifie « Pour tout x » et considérons la nouvelle formule :
« (x) ~ Dem (x,z) ».
Elle représente, à l’intérieur du système S(A), l’assertion métamathématique : « Pour tout x, la suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Autrement dit, cette nouvelle formule représente, à l’intérieur du système S(A), l’assertion métamathématique : « La formule qui porte le nombre de Gödel z n’est pas démontrable ».

Considérons maintenant la formule :
« (x) ~ Dem (x,sub (y,13,y)) »
Compte tenu de ce qui a été dit précédemment, cette formule représente l’assertion métamathématique : « La formule qui porte le nombre de Gödel sub (y,13,y) n’est pas démontrable ».
Posons que le nombre de Gödel de cette formule est n et substituons dans cette formule le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
On obtient alors une nouvelle formule qu’on appellera « G » (suivant Gödel) et présentée comme suit :

« (x) ~ Dem (x, sub (n,13,n)) »

Quel est le nombre de Gödel de G ?
Rappelons que sub (n,13,n) est le nombre de Gödel de la formule obtenue à partir de la formule qui porte le nombre de Gödel n, c’est à dire la formule « (x) ~ Dem (x,sub (y,13,y)) », en substituant le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
Or, précisément, la formule G a été obtenue à partir de cette formule en substituant à la variable numérique « y » le chiffre pour n.
En conséquence le nombre de Gödel de G est sub (n,13,n).
La formule G représente donc, à l’intérieur du système S(A), l’assertion métamathématique : « La formule G affirme d’elle-même qu’elle n’est pas démontrable ».
À comparer avec ceci où apparaît une hypothèse :

« ~ » étant la constante du système S(A) signifiant « Non », la formule « ~ Dem (x,z) » représente, à l’intérieur du système S(A), l’assertion métamathématique : « La suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Introduisons le préfixe (x) qui signifie « Pour tout x » et considérons la nouvelle formule :
« (x) ~ Dem (x,z) ».
Elle représente, à l’intérieur du système S(A), l’assertion métamathématique : « Pour tout x, la suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Autrement dit, cette nouvelle formule représente, à l’intérieur du système S(A), l’assertion métamathématique : « La formule qui porte le nombre de Gödel z n’est pas démontrable ».

La formule qui porte le nombre de Gödel y est-elle indémontrable ? Remarque : y = sub(y,13,y).
Plaçons-nous dans l'hypothèse affirmative. Alors...
La formule « (x) ~ Dem (x,sub (y,13,y)) » représentant l’assertion métamathématique : « Pour tout x, la suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel sub (y,13,y) » est vraie.

Posons que le nombre de Gödel de cette formule est n et substituons dans cette formule le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
On obtient alors une nouvelle formule qu’on appellera « G » (suivant Gödel) et présentée comme suit :

« (x) ~ Dem (x, sub (n,13,n)) »

Quel est le nombre de Gödel de G ?
Rappelons que sub (n,13,n) est le nombre de Gödel de la formule obtenue à partir de la formule qui porte le nombre de Gödel n, c’est à dire la formule « (x) ~ Dem (x,sub (y,13,y)) », en substituant le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
Or, précisément, la formule G a été obtenue à partir de cette formule en substituant à la variable numérique « y » le chiffre pour n.
En conséquence le nombre de Gödel de G est sub (n,13,n).
La formule G représente donc, à l’intérieur du système S(A), l’assertion métamathématique : « La formule G affirme d’elle-même qu’elle n’est pas démontrable ».

En définitive la formule G est indémontrable si la formule, qui porte le nombre de Gödel y, est indémontrable.
Autrement dit, du fait que la formule G n'est pas référencée à y, ...
1/ S'il existe une formule indémontrable alors G est indémontrable.
2/ S'il n'existe pas une formule indémontrable alors G est démontrable.


Dernière édition par benfifi le Jeu 29 Sep 2022 - 20:51, édité 7 fois
benfifi
benfifi
Modérateur
Modérateur

Nombre de messages : 877
Date d'inscription : 08/12/2018

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Zhongguoren Jeu 29 Sep 2022 - 15:58

benfifi a écrit:Voici l'extrait de Nane :
Vanleers a écrit:La formule G de Gödel

« ~ » étant la constante du système S(A) signifiant « Non », la formule « ~ Dem (x,z) » représente, à l’intérieur du système S(A), l’assertion métamathématique : « La suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Introduisons le préfixe (x) qui signifie « Pour tout x » et considérons la nouvelle formule :
« (x) ~ Dem (x,z) ».
Elle représente, à l’intérieur du système S(A), l’assertion métamathématique : « Pour tout x, la suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Autrement dit, cette nouvelle formule représente, à l’intérieur du système S(A), l’assertion métamathématique : « La formule qui porte le nombre de Gödel z n’est pas démontrable ».

Considérons maintenant la formule :
« (x) ~ Dem (x,sub (y,13,y)) »
Compte tenu de ce qui a été dit précédemment, cette formule représente l’assertion métamathématique : « La formule qui porte le nombre de Gödel sub (y,13,y) n’est pas démontrable ».
Posons que le nombre de Gödel de cette formule est n et substituons dans cette formule le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
On obtient alors une nouvelle formule qu’on appellera « G » (suivant Gödel) et présentée comme suit :

« (x) ~ Dem (x, sub (n,13,n)) »

Quel est le nombre de Gödel de G ?
Rappelons que sub (n,13,n) est le nombre de Gödel de la formule obtenue à partir de la formule qui porte le nombre de Gödel n, c’est à dire la formule « (x) ~ Dem (x,sub (y,13,y)) », en substituant le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
Or, précisément, la formule G a été obtenue à partir de cette formule en substituant à la variable numérique « y » le chiffre pour n.
En conséquence le nombre de Gödel de G est sub (n,13,n).
La formule G représente donc, à l’intérieur du système S(A), l’assertion métamathématique : « La formule G affirme d’elle-même qu’elle n’est pas démontrable ».
À comparer avec ceci où apparaît une hypothèse :

« ~ » étant la constante du système S(A) signifiant « Non », la formule « ~ Dem (x,z) » représente, à l’intérieur du système S(A), l’assertion métamathématique : « La suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Introduisons le préfixe (x) qui signifie « Pour tout x » et considérons la nouvelle formule :
« (x) ~ Dem (x,z) ».
Elle représente, à l’intérieur du système S(A), l’assertion métamathématique : « Pour tout x, la suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel z ».
Autrement dit, cette nouvelle formule représente, à l’intérieur du système S(A), l’assertion métamathématique : « La formule qui porte le nombre de Gödel z n’est pas démontrable ».

La formule qui porte le nombre de Gödel sub (y,13,y) est-elle indémontrable ?
Plaçons-nous dans l'hypothèse affirmative. Alors...
La formule « (x) ~ Dem (x,sub (y,13,y)) » représentant l’assertion métamathématique : « Pour tout x, la suite de formules qui porte le nombre de Gödel x n'est pas une démonstration de la formule qui porte le nombre de Gödel sub (y,13,y) » est vraie.

Posons que le nombre de Gödel de cette formule est n et substituons dans cette formule le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
On obtient alors une nouvelle formule qu’on appellera « G » (suivant Gödel) et présentée comme suit :

« (x) ~ Dem (x, sub (n,13,n)) »

Quel est le nombre de Gödel de G ?
Rappelons que sub (n,13,n) est le nombre de Gödel de la formule obtenue à partir de la formule qui porte le nombre de Gödel n, c’est à dire la formule « (x) ~ Dem (x,sub (y,13,y)) », en substituant le chiffre pour n à la variable qui porte le nombre de Gödel 13 (c’est-à-dire la variable numérique « y »).
Or, précisément, la formule G a été obtenue à partir de cette formule en substituant à la variable numérique « y » le chiffre pour n.
En conséquence le nombre de Gödel de G est sub (n,13,n).
La formule G représente donc, à l’intérieur du système S(A), l’assertion métamathématique : « La formule G affirme d’elle-même qu’elle n’est pas démontrable ».

En définitive la formule G est indémontrable si la formule qui porte le nombre de Gödel sub (y,13,y) est indémontrable.

Voilà.

Zhongguoren
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 393
Date d'inscription : 23/06/2022

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par benfifi Jeu 29 Sep 2022 - 16:23

Petite retouche à venir : modif de la fin du post précédent... que je reprends en concluant ainsi :

En définitive la formule G est indémontrable si la formule, qui porte le nombre de Gödel y, est indémontrable.
Et là apparaît (enfin) le paradoxe :
Autrement dit, du fait que la formule G n'est pas référencée à y, ...
1/ S'il existe une formule indémontrable alors G est vraie, donc démontrée (telle), et, soi-disant (au sens propre) indémontrable : paradoxe G-démontrée / G-indémontrable.
2/ S'il n'existe pas une formule indémontrable alors G est fausse, et non-G vraie, c'est-à-dire qu'il existe une suite de formules étant une démonstration de la formule qui porte le nombre de Gödel sub (n,13,n), G pour ne pas la nommer, autrement dit G est démontrée : paradoxe G-fausse / G-démontrée.

Étant dégagé de l'hypothèse on peut conclure :
G est indémontrable.


Dernière édition par benfifi le Ven 30 Sep 2022 - 4:00, édité 1 fois
benfifi
benfifi
Modérateur
Modérateur

Nombre de messages : 877
Date d'inscription : 08/12/2018

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par benfifi Jeu 29 Sep 2022 - 21:02

Ouf! J'espère être arrivé à bon port.

Hommage à Kurt GÖDEL qui a trouvé à 25 ans.

Merci à Vanleers et Zhongguoren qui m'ont accompagné.
benfifi
benfifi
Modérateur
Modérateur

Nombre de messages : 877
Date d'inscription : 08/12/2018

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par benfifi Mer 5 Oct 2022 - 10:40

Je viens de m'apercevoir d'une erreur commise dans le post du Jeu 29 Sep 2022 - 16:23, lequel fait suite à celui de 15:10. Le voici :

15:10 :
En définitive la formule G est indémontrable si la formule, qui porte le nombre de Gödel y, est indémontrable.
Autrement dit, du fait que la formule G n'est pas référencée à y, ...
1/ S'il existe une formule indémontrable alors G est indémontrable.
2/ S'il n'existe pas une formule indémontrable alors G est démontrable.

16:23 :
En définitive la formule G est indémontrable si la formule, qui porte le nombre de Gödel y, est indémontrable.
Et là apparaît (enfin) le paradoxe :
Autrement dit, du fait que la formule G n'est pas référencée à y, ...
1/ S'il existe une formule indémontrable alors G est vraie, donc démontrée (telle), et, soi-disant (au sens propre) indémontrable : paradoxe G-démontrée / G-indémontrable.
2/ S'il n'existe pas une formule indémontrable alors G est fausse, et non-G vraie, c'est-à-dire qu'il existe une suite de formules étant une démonstration de la formule qui porte le nombre de Gödel sub (n,13,n), G pour ne pas la nommer, autrement dit G est démontrée : paradoxe G-fausse / G-démontrée.

En effet le propos tenu en 2/ est vérolé. Donc invalide. Pourquoi ? Parce que, étant toujours placé dans l'hypothèse où la formule qui porte le nombre de Gödel y est indémontrable, je ne peux rien déduire de la condition selon laquelle il n'existe pas une formule indémontrable.
Et puis surtout j'ai considéré qu'une formule démontrable était de facto démontrée. Que nenni. J'y reviens ci-après en remarque.

Voilà donc ce qui suit en réparation :

Soit la formule portant le nombre de Gödel y.
Considérons la formule portant le nombre de Gödel sub (y,13,y).
Remarque : Comme la variable y porte le nombre de Gödel 13, la formule obtenue après substitution est égale à la formule avant substitution. Et ainsi y = sub (y,13,y).

Soit la formule « (x) ~ Dem (x, sub (y,13,y)) » et n son nombre de Gödel.

Soit la formule G : « (x) ~ Dem (x, sub (n,13,n)) ».
Sub (n,13,n) étant le nombre de Gödel de G, G énonce " la formule G est indémontrable ".

Posons l'hypothèse 1/ La formule portant le nombre de Gödel y est indémontrable. Alors:
La formule « (x) ~ Dem (x, sub (y,13,y)) » portant le nombre de Gödel n est vraie.
Et la formule G est vraie.
Or la formule G énonçant qu'elle est indémontrable, la formule G est indémontrable.

Posons l'hypothèse 2/ La formule portant le nombre de Gödel y n'est pas indémontrable. Alors:
La formule « (x) ~ Dem (x, sub (y,13,y)) » portant le nombre de Gödel n est fausse.
Et la formule G est fausse.
Or la formule G énonçant qu'elle est indémontrable, la formule G est démontrable.

Remarque : la formule G énonçant être indémontrable, dire "il est possible de démontrer G", i.e. "G est démontrable" est une chose, dire "G est démontrée" en est une autre.
Dire "G est démontrée" permet de dire que G est vraie. Dire que G est fausse permet de dire "G est démontrable". C'est tout différent.

Conclusion :
Le statut de la formule G étant tributaire de l'existence ou pas d'une formule indémontrable dans le système formel S(A), la formule G est indécidable .
Le paradoxe réside en ce que la formule G n'est ni vraie ni fausse.
benfifi
benfifi
Modérateur
Modérateur

Nombre de messages : 877
Date d'inscription : 08/12/2018

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par AntiSubjectiviste Dim 11 Juin 2023 - 3:23

Toute cette discussion est fumeuse car la distinction entre vérité et démontrabilité dans un système formel fait défaut.

G est indécidable, oui. Mais G n'est pas vraie, car si elle l'était, elle serait démontrable (puisque l'arithmétique est une théorie en logique du 1er ordre qui est complète, par le théorème de complétude de... Gödel).

Le texte de Nagel et Newman est daté : il y manque tout l'aspect sémantique (développé en théorie des modèles) des systèmes formels.

AntiSubjectiviste
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 140
Date d'inscription : 16/07/2022

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Bergame Dim 11 Juin 2023 - 9:13

Heeeyyy ! Salut, AntiSubjectiviste ! Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 4017359721

_________________
...que vont charmant masques et bergamasques...
Bergame
Bergame
Persona
Persona

Nombre de messages : 4978
Date d'inscription : 03/09/2007

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par AntiSubjectiviste Dim 11 Juin 2023 - 13:14

Bergame a écrit:Heeeyyy ! Salut, AntiSubjectiviste ! Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 4017359721
Eheeeey !

AntiSubjectiviste
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 140
Date d'inscription : 16/07/2022

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par neopilina Dim 11 Juin 2023 - 14:48

Je t'essplik, c'était pour que tu reviennes !   Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 2577518336                                  pc

P.S. à titre personnel, je suis revenu de la godélite, qu'on peut encore voir régulièrement, c'est toujours ça de pris !

_________________
" Tout Étant produit par moi m'est donné (c'est son statut philosophique), a priori, et il est Mien (cogito, conscience de Soi, libéré du Poêle) ". " Savoir guérit, forge. Et détruit tout ce qui doit l'être ", ou, équivalents, " Tout l'Inadvertancier constitutif doit disparaître ", " Le progrès, c'est la liquidation du Sujet empirique, notoirement névrotique, par la connaissance ". " Il faut régresser et recommencer, en conscience ". Moi.
C'est à pas de colombes que les Déesses s'avancent.
neopilina
neopilina
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 8364
Date d'inscription : 31/10/2009

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Crosswind Mar 13 Juin 2023 - 14:58

AntiSubjectiviste a écrit:
Bergame a écrit:Heeeyyy ! Salut, AntiSubjectiviste ! Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 4017359721
Eheeeey !

ENFIN !

On a failli attendre...

_________________
"Let us chace our imagination to the heavens, or to the utmost limits of the universe ; we never really advance a step beyond ourselves, nor can conceive any kind of existence..." D. Hume
Crosswind
Crosswind
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 2678
Date d'inscription : 29/07/2014

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Bergame Mar 13 Juin 2023 - 19:31

Ah c'est lui que tu attendais ? Mais ça fait deux ans que tu n'interviens plus.

Sympa pour les autres !... Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 843891157

_________________
...que vont charmant masques et bergamasques...
Bergame
Bergame
Persona
Persona

Nombre de messages : 4978
Date d'inscription : 03/09/2007

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Omer Desseres Mar 13 Juin 2023 - 19:38

.

Malgré nos disputes, je suis heureux de voir Antisubjectiviste revenu sur Digression.

.
Omer Desseres
Omer Desseres
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 377
Date d'inscription : 26/04/2023

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par neopilina Mar 13 Juin 2023 - 19:40

Omer Desseres a écrit:.

Malgré nos disputes, je suis heureux de voir Antisubjectiviste revenu sur Digression.

.

T'as réussi à te " disputer " avec A.S. !? Rhoooooooooo, t'es vraiment trop fort, Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 2528771386

_________________
" Tout Étant produit par moi m'est donné (c'est son statut philosophique), a priori, et il est Mien (cogito, conscience de Soi, libéré du Poêle) ". " Savoir guérit, forge. Et détruit tout ce qui doit l'être ", ou, équivalents, " Tout l'Inadvertancier constitutif doit disparaître ", " Le progrès, c'est la liquidation du Sujet empirique, notoirement névrotique, par la connaissance ". " Il faut régresser et recommencer, en conscience ". Moi.
C'est à pas de colombes que les Déesses s'avancent.
neopilina
neopilina
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 8364
Date d'inscription : 31/10/2009

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Omer Desseres Mar 13 Juin 2023 - 19:48

.

Oh ! Ça a été des disputes plutôt civilisées, contrairement à celles de mes productions habituelles de barbare scandinave.

Ça été des disputes extrêmement plaisantes à l'endentement du premier venu cherchant à s'instruire au lieu d'anéantir.

.

.
Omer Desseres
Omer Desseres
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 377
Date d'inscription : 26/04/2023

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par AntiSubjectiviste Mar 13 Juin 2023 - 22:07

Je n'en ai guère souvenir en tout cas 😁 Cela dit, je passais en coup de vent par nostalgie de la période des forums de philo, pas sûr que je vais beaucoup participer...

AntiSubjectiviste
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 140
Date d'inscription : 16/07/2022

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Crosswind Mar 13 Juin 2023 - 22:47

Bergame a écrit:Ah c'est lui que tu attendais ? Mais ça fait deux ans que tu n'interviens plus.

Sympa pour les autres !... Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 843891157

Moins d'une année, en tout bien tout honneur (août 2022). Fervent défenseur - et même promoteur dans la vie physique - du site, je peux aussi défendre la cause de mon "inactivité" (et puis je lis, au rythme hebdomadaire, l'essentiel de la rédaction issue des membres de ce lieu, encore et toujours).

Mais tu as raison, il y a eu une raison à mon mutisme. On y reviendra sûrement puisque AS me donne quelques envies de débats, pour peu qu'il suive comme il le fit sur un forum étrangement disparu, mais que j'appréciais pas mal.

A très + Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 2101236583

_________________
"Let us chace our imagination to the heavens, or to the utmost limits of the universe ; we never really advance a step beyond ourselves, nor can conceive any kind of existence..." D. Hume
Crosswind
Crosswind
Digressi(f/ve)
Digressi(f/ve)

Nombre de messages : 2678
Date d'inscription : 29/07/2014

Revenir en haut Aller en bas

Présentation d'une démonstration simplifiée des théorèmes de Gödel - Page 10 Empty Re: Présentation d'une démonstration simplifiée des théorèmes de Gödel

Message par Contenu sponsorisé


Contenu sponsorisé


Revenir en haut Aller en bas

Page 10 sur 10 Précédent  1, 2, 3, 4, 5, 6, 7, 8, 9, 10

Revenir en haut

- Sujets similaires

 
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum