Posted by fd on April 09, 2001 at 01:33:55 PM EDT:
In Reply to: Precision posted by fd on April 06, 2001 at 10:36:18 AM EDT:
Bon je vais essayer d’être clair.
Ce que j’ai dit :
1 – Que le théorème de Goedel (ça semble être Gödel en fait) EST un THEOREME
2 – Parce que cela arrangeait certains on m’a fait dire que je confondais le THEOREME et sa FORMULATION :
dans tout systéme axiomatique il existe des propositions indécidables (la proposition G).
Ce que l’ont traduit en général par :
1 – Il n’existe aucun systéme axiomatique auto-référent
2 – Tout systéme complet est inconsistant et tout systéme consistant est incomplet.
3 – J’ai résisté a la tentation de citer le théoréme (VI) dans son intégralité pour une excellente raison (qui va réjouir je n’en doute pas mes contradicteurs) c’est que DANS SA FORMULATION ORIGINALE par Gôdel je ne le comprends pas (je n’ai pas le niveau mathématique suffisant (j’ai même pas un bac philo que j’ai raté il y a fort longtemps) pour suivre la démonstration de Gôdel).
4 – Quant a « insulter tout le monde » j’ai insulté 1 personne et ce sous forme de boutade :
Son message commençait par :
Il n’y a pas de simple proposition… (posté de maniére anonyme)
Auquel je répondais par :
Une simple proposition : l’anonyme est un con.
Or je pensais que ce « même anonyme » m’avait traité (entre autre) d’ignare.
Il semblerais que ce soit « un autre anonyme ».
Bon alors, de ça, et seulement de ça je suis désolé.