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