Logique
La petite histoire
Comprendre simplement
Domaines de présence
Son interprétation dans l'avenir
Les références
Mais encore …
by Pepe ©
 
Accueil  Arborescence  Page précédente

La petite histoire  Up Page
Origine, raisons, hasard
La logique est à la base de tout raisonnement mathématique. Cette science s'intéresse non pas aux objets mathématiques eux-mêmes, mais à la façon dont ils s'ordonnent les uns avec les autres pour fabriquer un raisonnement.

Comprendre simplement  Up Page
Outils mathématiques
Pour effectuer leurs démonstrations, les scientifiques ont besoin d'outils : par exemple, des symboles, des axiomes ou des théorèmes. En logique mathématique, le système d'outils comprend à la fois des propositions (par exemple, une proposition P : « j'ai faim » et une proposition Q : « je suis rassasié »), et des connecteurs, comme le symbole de l'implication « => », le symbole « non », signifiant la négation de la proposition devant laquelle il est placé, ou encore les symboles « et » et « ou ». Ainsi, non P représente la proposition non « j'ai faim », c'est-à-dire « je n'ai pas faim ». Si l'on est rassasié, c'est donc que l'on n'a pas faim. En termes de logique, cela se traduit par « Q => non P ».

Domaines de présence  Up Page
La démonstration par l'absurde
La "démonstration par l'absurde" est une méthode originale de démonstration mathématique. Elle débute par la négation de la proposition que l'on veut démontrer pour aboutir à une absurdité, ce qui démontre que la proposition de départ est fausse.
 
Grâce à ce type de raisonnement, les mathématiciens ont formulé de très belles démonstrations tout au long des siècles. Le mathématicien britannique Andrew Wiles, qui a démontré le fameux théorème de Fermat en 1994, a lui-même utilisé un raisonnement par l'absurde.

Son interprétation dans l'avenir  Up Page
Monde futur

Les références  Up Page
Réseau Pepe
Cybersciences
Recherche février 2005 n°383
 
Pourquoi ce site
Je crois que, si les êtres humains que nous sommes ne parviennent pas toujours à évoluer comme ils le souhaiteraient _à s'épanouir professionnellement, sentimentalement et sexuellement (ce que j'appelle les trois pôles d'intérêts) c'est parce qu'il y a des barrages qui entravent leur désir d'accéder à un rêve inachevé. Je pars du principe que tout est possible, à condition de s'entourer de gens qui nous poussent à croire en nous.
 
Contribuer au Réseau Pepe
Ce site est avant tout une encyclopédie ouverte à l'imagination et au savoir, où chacun(e) d'entre vous peut participer.
Si vous avez envie de partager une passion, ou si vous sentez le besoin de vous exprimer sur un point précis, je vous invite à m'adresser un e-mail (adresse électronique accessible sur ma page d'accueil).

Mais encore …  Up Page
Multiplication égyptienne
Une technique ancestrale, consistait à transformer un produit de deux nombres entiers, en une suite d'additions et de multiplications par 2, bien commodes quand on travaille en base 2 comme le font les ordinateurs (algèbre binaire). Jusque dans les années soixante-dix, les ordinateurs ne savaient pas faire mieux quer l'Egypte antique pour effectuer une multiplication. La redécouverte de travaux du XIXe siècle a permis de faire un immense saut en avant avec le développement d'une technique véloce et efficace: la transformée de Fourier rapide.