Contributions de Proz
De Proz discuter journal des blocages téléversements journaux Journal des blocages globaux compte global journal des filtrages
Un utilisateur avec 16 848 modifications. Compte créé le 5 avril 2006.
9 août 2024
- 19:079 août 2024 à 19:07 diff hist +1 075 Discussion:Modulo (opération) →Définition « mathématique », vraiment ? : après lecture actuelle
8 août 2024
- 19:128 août 2024 à 19:12 diff hist +11 Modulo (opération) oups actuelle
- 17:448 août 2024 à 17:44 diff hist +42 Modulo (opération) →Différentes définitions de la fonction modulo : plus explicite
- 17:418 août 2024 à 17:41 diff hist +618 Discussion:Modulo (opération) →Définition « mathématique », vraiment ? : reponses
- 17:298 août 2024 à 17:29 diff hist −12 Modulo (opération) style
- 17:278 août 2024 à 17:27 diff hist +19 Modulo (opération) C'est une définition, pas de "en principe" ou d'"analogie"
- 17:058 août 2024 à 17:05 diff hist −112 Modulo (opération) Conformément à la source invoquée, qui ne privilégie pas une "définition mathématique"
7 août 2024
- 19:057 août 2024 à 19:05 diff hist +106 Discussion:Puissance d'un nombre →Puissance à exposant négatif : remarque
- 19:027 août 2024 à 19:02 diff hist +810 Discussion:Puissance d'un nombre →Puissance à exposant négatif : avis
- 18:427 août 2024 à 18:42 diff hist +790 Discussion:Ensemble bien ordonné →«Les» définitions des ensembles partiellement bien ordonnés : ordre bien fondé
24 juillet 2024
- 12:2324 juillet 2024 à 12:23 diff hist 0 Récurrence transfinie →Sur la classe des ordinaux : suite actuelle
- 12:2224 juillet 2024 à 12:22 diff hist 0 Récurrence transfinie →Ordinal : distinguer la noation pour mes formules de celle pour les fonctions
- 12:2024 juillet 2024 à 12:20 diff hist 0 Récurrence transfinie →Ensemble bien ordonné : oubli
- 11:5824 juillet 2024 à 11:58 diff hist +8 Récurrence transfinie →Définition par récurrence sur un ordinal : cohérence notations
- 11:5524 juillet 2024 à 11:55 diff hist +34 m Récurrence transfinie var -> mvar
- 11:5224 juillet 2024 à 11:52 diff hist −5 m Récurrence transfinie →Ensemble bien ordonné : relecture
- 11:5124 juillet 2024 à 11:51 diff hist +539 Récurrence transfinie passage au modèle math des formules + relecture (reformulations précisions mineures
- 11:0824 juillet 2024 à 11:08 diff hist −1 470 Récurrence transfinie modifications inutiles, et surtout une énorme erreur dans l'énoncé d'un théorème Balise : Révocation manuelle
- 02:5324 juillet 2024 à 02:53 diff hist +17 m Serenus d'Antinoë →Biographie : lien actuelle
- 02:2624 juillet 2024 à 02:26 diff hist 0 m Serenus d'Antinoë →De la section du cylindre : style
23 juillet 2024
- 19:2623 juillet 2024 à 19:26 diff hist +21 Anthyphérèse terme calqué sur le grec également utilisé actuelle
- 19:1623 juillet 2024 à 19:16 diff hist +26 Discussion:Anthyphérèse corr.(pas de l'info) actuelle
- 19:1023 juillet 2024 à 19:10 diff hist −1 Anthyphérèse pas forcément de l'arithmétique (livre X), aucune source pour l'utilisation en informatique
- 18:4823 juillet 2024 à 18:48 diff hist −83 Principe d'explosion →Articles connexes : ça ce serait la logique classique
- 18:4223 juillet 2024 à 18:42 diff hist +36 Principe d'explosion →Logiques sans le principe d'explosion : section à conserver mais pas claire du tout, à corriger en donnant des sources
- 18:3123 juillet 2024 à 18:31 diff hist +686 Discussion:Principe d'explosion →Théorie de la démonstration : fait
- 18:2223 juillet 2024 à 18:22 diff hist −3 283 Principe d'explosion cf. pdd + la logique minimale n'a rien à voir avec les logiques non monotones ou paracohérentes
- 16:2623 juillet 2024 à 16:26 diff hist −17 Jules Barthélemy-Saint-Hilaire →Origines : père seul inconnu actuelle
- 16:2423 juillet 2024 à 16:24 diff hist −65 Jules Barthélemy-Saint-Hilaire En fait la mère est connue, il faudrait modifier l'article
- 16:1823 juillet 2024 à 16:18 diff hist −72 Jules Barthélemy-Saint-Hilaire infobox plus adaptée et modif pour ne pas perdre d'info, religion : rien dans l'article
- 15:3623 juillet 2024 à 15:36 diff hist +2 349 Jules Barthélemy-Saint-Hilaire retour partiel : pas parfait mais plus informatif
- 09:0123 juillet 2024 à 09:01 diff hist −11 m Théorème de Cantor →Cas général : Superflu: "Soit ''f'' ... " signifie déjà qu'on ne suppose sur ''f'' que ce qui est écrit ensuite (on précise parfois quelconque, si 'le nom 'f'' a déjà été utilisé par exemple) actuelle Balise : Révocation manuelle
- 00:2123 juillet 2024 à 00:21 diff hist −92 m Théorème de Pythagore →Équivalence : Redondant
22 juillet 2024
- 22:4222 juillet 2024 à 22:42 diff hist +444 Discussion:Époque hellénistique →Euclide
- 18:1422 juillet 2024 à 18:14 diff hist +1 195 Discussion:Principe d'explosion →Théorie de la démonstration
- 17:4022 juillet 2024 à 17:40 diff hist +22 Principe d'explosion →En théorie de la démonstration : à sourcer et corriger ou effacer, c'est une règle élémentaire de déduction naturelle, il s'agirait de réduction à un autre principe plutôt que de démonstrations
- 17:3522 juillet 2024 à 17:35 diff hist −18 Principe d'explosion →Articles connexes : article supprimé Balise : Révocation manuelle
- 17:3322 juillet 2024 à 17:33 diff hist −36 Implication stricte Article supprimé et terme non utilisé actuelle Balise : Révocation manuelle
- 17:2822 juillet 2024 à 17:28 diff hist −19 Trivial (mathématiques) →Voir aussi : plus d'article actuelle
- 17:2822 juillet 2024 à 17:28 diff hist −29 Trivial (mathématiques) →Exemples : plus exact
- 14:0122 juillet 2024 à 14:01 diff hist +71 Évariste Galois →Second emprisonnement (14 juillet 1831) : détails
- 01:4222 juillet 2024 à 01:42 diff hist −66 Évariste Galois →Bibliographie : pas à jour
- 01:4022 juillet 2024 à 01:40 diff hist +694 Évariste Galois →Second emprisonnement : reprise, la citation n'est pas adéquate : elle fait référence à un projet préalable d'arrestation qui a échoué+ date de libération
- 00:2622 juillet 2024 à 00:26 diff hist +6 Évariste Galois →Derniers écrits : seul témoignage
- 00:2422 juillet 2024 à 00:24 diff hist +209 Évariste Galois →Correspondance : commentaire lettre du 21/03/1831
- 00:1122 juillet 2024 à 00:11 diff hist +17 m Évariste Galois →Activité mathématique : plus clair
21 juillet 2024
- 23:5521 juillet 2024 à 23:55 diff hist −7 m Évariste Galois →Rapport défavorable de l'Académie : style
- 23:5221 juillet 2024 à 23:52 diff hist +570 Évariste Galois →Banquet du {{Date-|9 mai 1831}} et emprisonnement : précisions
- 22:0621 juillet 2024 à 22:06 diff hist +898 Évariste Galois →Premier semestre 1831 : activité militante
20 juillet 2024
- 07:5420 juillet 2024 à 07:54 diff hist −3 m Évariste Galois →Bulletin de Férussac : scorie