Contributions de Thierry Dugnolle

17 mai 2018

• 08:0017 mai 2018 à 08:00 diff hist −1‎ Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle ‎ →‎Les axiomes de l’arithmétique formelle actuelle

6 mai 2018

• 13:596 mai 2018 à 13:59 diff hist 0‎ N Utilisateur:Thierry Dugnolle ‎ Page vide créée actuelle

13 août 2005

• 14:4513 août 2005 à 14:45 diff hist −1 343‎ Logique (mathématiques)/Complétude de la logique du premier ordre ‎ →‎Une preuve

3 août 2005

• 13:003 août 2005 à 13:00 diff hist −12‎ m Fondements des mathématiques ‎ →‎Comment prouver la fiabilité des principes ?

29 mai 2005

• 00:3829 mai 2005 à 00:38 diff hist −1‎ m Fondements des mathématiques/Cohérence des théories finitaires ‎ →‎La construction d’un modèle de Finitaire1 : coquille

10 mai 2005

• 06:5710 mai 2005 à 06:57 diff hist −66‎ m Fondements des mathématiques/Les expressions formelles, les ensembles et les fonctions ‎Aucun résumé des modifications

16 mars 2005

• 14:3316 mars 2005 à 14:33 diff hist −9‎ Logique (mathématiques)/Introduction ‎Aucun résumé des modifications
• 14:3116 mars 2005 à 14:31 diff hist +409‎ m Logique (mathématiques)/Introduction ‎ Compléments

14 mars 2005

• 19:2614 mars 2005 à 19:26 diff hist +380‎ Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre ‎ Corrections et compléments

6 mars 2005

• 17:276 mars 2005 à 17:27 diff hist +17 728‎ Axiomes des théories des ensembles/Introduction ‎ Axiomes de ZFC

3 mars 2005

• 18:343 mars 2005 à 18:34 diff hist +2‎ m Logique (mathématiques)/Égalité ‎ →‎Pourquoi des égalités ?
• 18:323 mars 2005 à 18:32 diff hist +17 865‎ N Logique (mathématiques)/Égalité ‎ Création
• 09:073 mars 2005 à 09:07 diff hist +8 799‎ N Logique (mathématiques)/Définitions ‎ Création

2 mars 2005

• 23:122 mars 2005 à 23:12 diff hist +81‎ m Logique (mathématiques)/Complétude de la logique du premier ordre ‎ →‎La validité du calcul des prédicats du premier ordre
• 23:042 mars 2005 à 23:04 diff hist +2 271‎ N Logique (mathématiques)/Logiques d'ordre supérieur ‎ Création
• 21:462 mars 2005 à 21:46 diff hist +31‎ m Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre ‎ →‎Les règles d'un dialogue
• 21:402 mars 2005 à 21:40 diff hist +2 250‎ Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre ‎ →‎Les règles du dialogue
• 13:252 mars 2005 à 13:25 diff hist +1 905‎ Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre ‎ →‎Les axiomes logiques des Principia Mathematica
• 12:202 mars 2005 à 12:20 diff hist +5 367‎ N Logique (mathématiques)/Autres formulations des principes de la logique du premier ordre ‎ Création
• 09:242 mars 2005 à 09:24 diff hist +403‎ Fondements des mathématiques ‎ →‎La logique : Plan

1 mars 2005

• 22:101 mars 2005 à 22:10 diff hist +10 148‎ N Fondements des mathématiques/Preuve formelle de la cohérence de l'arithmétique formelle ‎ Création
• 16:361 mars 2005 à 16:36 diff hist +13 961‎ N Fondements des mathématiques/Construction finitaire de l’ensemble des vérités ‎ Création
• 05:231 mars 2005 à 05:23 diff hist +4 693‎ N Axiomes des théories des ensembles/Négation dans les prédicats finitaires ‎ Création
• 05:191 mars 2005 à 05:19 diff hist +5‎ m Axiomes des théories des ensembles/Les ensembles finitaires ‎ →‎L’axiome d’extensionalité
• 05:161 mars 2005 à 05:16 diff hist +7 615‎ N Axiomes des théories des ensembles/Énumérabilité selon Smullyan ‎Aucun résumé des modifications
• 05:101 mars 2005 à 05:10 diff hist −7 328‎ Axiomes des théories des ensembles/Les ensembles finitaires ‎ corrections et partition
• 04:021 mars 2005 à 04:02 diff hist +83‎ Axiomes des théories des ensembles/Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables ‎ →‎Des opérateurs ensemblistes dérivés : correction
• 03:551 mars 2005 à 03:55 diff hist 0‎ m Axiomes des théories des ensembles/Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables ‎ →‎Des opérateurs ensemblistes dérivés : correction Z et Z' interchangés

28 février 2005

• 18:5928 février 2005 à 18:59 diff hist +11 658‎ N Axiomes des théories des ensembles/Théorèmes fondamentaux de l’énumérabilité et de l’indécidabilité ‎ Création
• 02:4728 février 2005 à 02:47 diff hist −3‎ m Axiomes des théories des ensembles/Les ensembles finitaires ‎ orthographe
• 02:4228 février 2005 à 02:42 diff hist +6 591‎ N Fondements des mathématiques/Preuve naturelle de la cohérence de l'arithmétique formelle ‎ une preuve naturelle de la cohérence de l'arithmétique formelle
• 02:3728 février 2005 à 02:37 diff hist +8 767‎ N Fondements des mathématiques/Cohérence des théories finitaires ‎ Modèle de Finitaire1

27 février 2005

• 20:4627 février 2005 à 20:46 diff hist −215‎ Axiomes des théories des ensembles/Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables ‎ correction terminologique : vrai au lieu de prouvable

26 février 2005

• 19:3626 février 2005 à 19:36 diff hist +1‎ Fondements des mathématiques ‎ J'espère que cette fois cela va être sauvegardé
• 19:2826 février 2005 à 19:28 diff hist +1 510‎ Fondements des mathématiques ‎ →‎Des preuves de cohérence : Plan
• 19:1726 février 2005 à 19:17 diff hist +27 126‎ N Fondements des mathématiques/Des preuves de cohérence ‎ Création

24 février 2005

• 14:5824 février 2005 à 14:58 diff hist +34 410‎ N Axiomes des théories des ensembles/Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérables ‎ Création
• 14:3324 février 2005 à 14:33 diff hist +8 544‎ Axiomes des théories des ensembles/Les ensembles finitaires ‎ Compléments
• 13:0224 février 2005 à 13:02 diff hist +25 319‎ N Axiomes des théories des ensembles/Les ensembles finitaires ‎ Création
• 13:0024 février 2005 à 13:00 diff hist −272‎ Axiomes des théories des ensembles/Introduction ‎ ajout lien
• 11:0924 février 2005 à 11:09 diff hist +1 835‎ N Axiomes des théories des ensembles/Introduction ‎ plan
• 10:5224 février 2005 à 10:52 diff hist +527‎ Fondements des mathématiques ‎ compléments du plan

23 février 2005

• 05:3223 février 2005 à 05:32 diff hist −24‎ m Fondements des mathématiques/Les expressions formelles, les ensembles et les fonctions ‎ Présentation
• 05:2523 février 2005 à 05:25 diff hist +40‎ m Logique (mathématiques)/Introduction ‎ Présentation
• 05:2223 février 2005 à 05:22 diff hist +81‎ m Fondements des mathématiques/Que sont les mathématiques ? ‎ Présentation
• 05:1923 février 2005 à 05:19 diff hist +1 510‎ Fondements des mathématiques ‎ compléments du plan
• 01:2323 février 2005 à 01:23 diff hist −1 228‎ Fondements des mathématiques ‎ ajouts liens
• 00:5223 février 2005 à 00:52 diff hist +26 955‎ N Logique (mathématiques)/Complétude de la logique du premier ordre ‎ création
• 00:4623 février 2005 à 00:46 diff hist +10 331‎ N Logique (mathématiques)/Théorie des modèles ‎ Création
• 00:4323 février 2005 à 00:43 diff hist +25 145‎ N Logique (mathématiques)/Déduction naturelle ‎ Création