idem, malcomprenant !


[ Follow Ups ] [ Post Followup ] [ debord of directors ] [ FAQ ]

Posted by on March 29, 2001 at 07:55:05 AM EST:

In Reply to: relis-toi posted by fd on March 29, 2001 at 07:46:12 AM EST:

: Mon message répondait au titre suivant :

: Bavard macaronique, la proposition de Gödel d'un système formalisée serait donc fausse puisqu'elle ne peut être démontrée.

: Or elle l'est !
: Ce qui est donc la différence entre une simple proposition ET un théoréme.

Il n'y a pas de "simple proposition", ça ne veut rien dire. Vérifie dans ton dictionnaire si ça te chante. De plus je te demande de répondre à l'autre message, celui qui parle de la proposition de Gödel que ce dernier utilise dans le cours de sa démonstration (de son plus fameux théorème) et qui est vraie et indémontrable. C'est évidemment à cette proposition-là (et non à celle qui énonce le théorème) que l'anonyme auquel tu répondais faisait allusion.

Un peu d'honnêteté ne nuit pas.


Follow Ups:



Post a Followup

Name:
E-Mail:

Subject:

Comments:

Optional Link URL:
Link Title:
Optional Image URL:


[ Follow Ups ] [ Post Followup ] [ debord of directors ] [ FAQ ]