Discussion:Logique et raisonnement mathématique

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.
Autres discussions [liste]
  • Admissibilité
  • Neutralité
  • Droit d'auteur
  • Article de qualité
  • Bon article
  • Lumière sur
  • À faire
  • Archives
  • Commons

Qu'est-ce qu'une belle démonstration mathématique ?[modifier le code]

J'ai reçu ce message :

Bonjour. Dans "Logique et raisonnement mathématique" vous terminez en demandant de l'aide des spécialistes en logique pour donner des recettes pour construire des démonstrations. Il n'est pas forcément inutile de poser la question au préalable: qu'est-ce qu'une belle démonstration? Cordialement.5.51.176.134 () 5 février 2019 à 09:57 (CET)

Comme le "vous" concerne les rédacteurs de cet article, en particulier la personne qui a créé cette section et écrit le mot « recettes » entre parenthèses, j'ai mis le message ici. --Pierre de Lyon (discuter) 5 février 2019 à 12:12 (CET) Voici ce que je dirais.[répondre]

  1. Au lieu de « recettes », j'emploierais plutôt « méthodes ».
  2. La question et la réponse sont données dans les quatre livres qui figurent dans la bibliographie.

--Pierre de Lyon (discuter) 5 février 2019 à 12:12 (CET)[répondre]

Vous avez rajouté le livre des "démonstration élégantes" ce qui répond bien dans l'article à venir à ma question structurelle encyclopédique. Merci. Question posée parce que:
CNRTL: Méthode 1637 spéc. terme de philos. (Descartes, Discours de la méthode pour bien conduire sa raison et chercher la vérité dans les sciences… Empr. au b. lat. methodus «méthode (terme sc.: médecine, rhétorique, géométrie)», gr. μ ε ́ φ ο δ ο ς proprement «poursuite» (de...) d'où «recherche...» (de μ ε τ α ́ «vers» et ο δ ο ς «route, voie, manière de faire quelque chose)» «poursuite, recherche; plan méthodique; traité méthodique; doctrine scientifique». (D'où l'importance prise par le mot quadrature en langue parlée en même temps qu'en mathématique à la jonction de la numération précise et des représentations graphiques). Une recette historiquement est un apport d'argent. En cuisine ce n'était à l'origine qu'une liste "pense-bête" d'ingrédients où aucune quantité n'était mentionnée. 5.51.176.134 () 6 février 2019 à 10:49 (CET)

Titre de l'article devenu flou ou flou de l'article?[modifier le code]

Puisque cet article "Logique et raisonnement mathématique" est la réécriture de "Logique (mathématiques élémentaires)" -impliquant quelques os supplémentaires à son squelette-, il manque me semble-t-il l'évocation même élémentaire de toutes les logiques non élémentaires (conséquence de leur Validité (logique)); ou bien le titre doit être à nouveau changé pour correspondre au but. 5.51.176.134 () 11 février 2019 à 10:20 (CET)

Si je comprends ce que vous voulez dire, il me semble que l'évocation des approches moins « élémentaires » se trouve dans la section « voir aussi ». --Pierre de Lyon (discuter) 15 février 2019 à 09:20 (CET)[répondre]

Alors dans ce cas- le cas toute mathématique traitée- puisque le titre ne comporte pas le mot élémentaire ce ne devrait pas être dans "Voir aussi" mais "Voir plus loin" comme dans l'Aide, ou bien "Liste de la multitude des articles où on pourrait trouver autre chose que l'espace restreint à l'ensemble des nombres réels où la vérité est vraie ou fausse sans valeur intermédiaire…". Et alors on se demande , à bon droit (CNRTL: flou:Dont les contours manquent de vigueur, de netteté), pourquoi vous avez changé le titre de l'article, j'ai supposé que ce n'est pas un problème de wikifaction mais un élargissement voulu au(x) raisonnement(s) divers de la mathémathique. L'article est flou (CNRTL: en contrepartie négative du synonyme adouci pour flou, flou est vague...manque de netteté,); cela veut dire que j'ai trouvé l'article pas clair, car pour voir les logiques autres que la seule que vous montrez avant de vous l'écrire, il m'a fallu dérouler les { {Palette|Logique|Mathématiques élémentaires} } { {Portail|mathématiques|logique} } où il n'y a pas que la logique floue. 5.51.176.134 () 19 février 2019 à 15:36 (CET)