L' Ordinateur démontre le théorème des 4 couleurs : 21 juin 1976 / Emmanuel Monnier

Article

Monnier, Emmanuel

Kenneth Appel et Wolfgang Haken ont démontré, pour la première fois à l'aide d'un ordinateur, que 4 couleurs suffisent pour colorier une carte dans laquelle tous pays contigus ont des couleurs différentes.

Voir le numéro de la revue «Science et vie, 1185, Juin 2016»

Autres articles du numéro «Science et vie»

Suggestions

Du même auteur

Matière noire : et autres cachotteries de l'univers / Alain Bouquet,... Emmanuel Monnier,... | Bouquet, Alain (1950-....). Auteur

Matière noire : et autres cachotteries de l'u...

Livre | Bouquet, Alain (1950-....). Auteur | 2003

Depuis 1930, les observations sont formelles, 99% de la masse de l'univers est invisible ou manquante. A partir de cette grande énigme, l'ensemble de la physique des particules, la gravitation, la topologie de l'univers et son dev...

Tous obèses ? / Francis Delpeuch,... Bernard Maire,... Emmanuel Monnier,... | Delpeuch, Francis. Auteur

Tous obèses ? / Francis Delpeuch,... Bernard ...

Livre | Delpeuch, Francis. Auteur | 2006

L'obésité mondiale révèle les dysfonctionnements d'un système agroalimentaire basé sur une logique industrielle, et rappelle que se nourrir est tout sauf simple. Le point sur la question par deux spécialistes de nutrition publique...

Où en est le clonage ? : 15 ans après Dolly... / Emmanuel Monnier | Monnier, Emmanuel

Où en est le clonage ? : 15 ans après Dolly.....

Article | SYRACUSE | Monnier, Emmanuel | 2011

En 1996, la naissance du premier clone de mammifère adulte fut autant un exploit qu'une révélation : la science avait désormais les moyens de manipuler le vivant même. Qu'est devenu ce pouvoir ? Réponses en forme de bilan.

L' Epidémie de sida : Cela fait 30 ans... / Emmanuel Monnier | Monnier, Emmanuel

L' Epidémie de sida : Cela fait 30 ans... / E...

Article | SYRACUSE | Monnier, Emmanuel | 2011

30 millions de morts dans le monde : tel est le bilan de trois décennies d'épidémie de sida. Mais ce n'est pas le seul. Car ces trois décennies ont été une course contre la mort pour comprendre et, surtout, trouver des remèdes à c...

Quel avenir pour le PC ? : 30 ans après le premier ordinateur personnel / Emmanuel Monnier | Monnier, Emmanuel

Quel avenir pour le PC ? : 30 ans après le pr...

Article | SYRACUSE | Monnier, Emmanuel | 2011

Avec un milliard d'unités centrales utilisées aujourd'hui dans le monde, le Personal Computer a gagné son pari : on travaille, on joue et on communique sur son PC. Et encore plus depuis l'explosion de l'Internet ! Oui, mais voici ...

Où en est la recherche des extraterrestres ? / Emmanuel Monnier | Monnier, Emmanuel

Où en est la recherche des extraterrestres ? ...

Article | SYRACUSE | Monnier, Emmanuel | 2011

Entrer en contact avec une civilisation extraterrestre ? En 1961, ce rêve de l'humanité a pris la forme d'une équation évaluant mathématiquement les chances qu'il se réalise. Depuis, le programme Seti, via des radiotélescopes géan...

Du même sujet

Mathématiques face au défi des machines (Les) / Michael Harris | Harris, Michael (1954-....)

Mathématiques face au défi des machines (Les)...

Article | SYRACUSE | Harris, Michael (1954-....) | 2022

Des logiciels capables de vérifier des démonstrations très difficiles, des intelligences artificielles en mesure de formuler des conjectures... Des performances vertigineuses qui amènent les mathématiciens à s'interroger sur la pl...

Théorèmes, l'ordinateur fait ses preuves / Philippe Pajot | Pajot, Philippe

Théorèmes, l'ordinateur fait ses preuves / Ph...

Article | SYRACUSE | Pajot, Philippe | 2013

Il y a quelques mois, le théorème Feit-Thompson, monument de l'algèbre, devenait une certitude. Grâce à des outils informatiques performants, nouveaux assistants des mathématiciens.

Les Preuves de travail / Jean-Paul Delahaye | Delahaye, Jean-Paul

Les Preuves de travail / Jean-Paul Delahaye

Article | SYRACUSE | Delahaye, Jean-Paul | 2014

Donner à des ordinateurs des problèmes à résoudre permet de les freiner. Cette procédure est utile pour lutter contre les attaques sur le réseau Internet, pour limiter l'envoi de spams ou pour organiser des courses entre machines....

À la conquête des maths avec Python | Farrell, Peter

À la conquête des maths avec Python

Livre numérique | Farrell, Peter | 2020

Cryptomonnaies sobres en énergie ? (Des) / Jean-Paul Delahaye | Delahaye, Jean-Paul (1952-....)

Cryptomonnaies sobres en énergie ? (Des) / Je...

Article | SYRACUSE | Delahaye, Jean-Paul (1952-....) | 2022

Un problème de récréation mathématique met en lumière la difficulté à concevoir des cryptomonnaies justes, économes et écologiques.

Homme qui voulait répliquer la vie (L') / Ananyo Bhattarya | Bhattarya, Ananyo

Homme qui voulait répliquer la vie (L') / Ana...

Article | SYRACUSE | Bhattarya, Ananyo | 2023

Une machine est-elle capable de se reproduire ? Les automates cellulaires de John von Neumann sont indéniablement dotés de capacités autoreproductrices. Ces créations, qui inspirent encore les réflexions sur le vivant, sont une de...

Chargement des enrichissements...