Idiomathique du jour
Pour pratiquer la musculation cérébrale, rien ne peut remplacer un Mathletic-Club.
Kurt Gödel et son théorème d'incomplétude
Le mathématicien et logicien austro-américaine Kurt Gödel est né le 28 avril 1906.
Il est célèbre pour son théorème d'incomplétude de Gödel, selon lequel n'importe quel système logique suffisamment puissant pour décrire l'arithmétique des entiers admet des propositions sur les nombres entiers ne pouvant être ni infirmées ni confirmées à partir des axiomes de la théorie.
Il est considéré comme l'un des plus grands mathématiciens, et même l'un des plus grands scientifiques du XXème siècle. Cependant, à la fin de sa vie, il sombra dans la folie : convaincu de l'existence d'un complot visant à l'empoisonner, il cessa de s'alimenter.
Pour en savoir plus sur Gödel, sa vie, son oeuvre et son théorème d'incomplétude, on pourra se reporter aux livres "Les démons de Gödel : Logique et folie" et "Le Théorème de Gödel".
Voronoï et son diagramme
Le mathématicien russe Georgi Fedoseevich Voronoï est né le 28 avril 1868.
Il est connu pour son diagramme de Voronoï qui permet de diviser une surface en polygones convexes en déterminant les "zones d'influence" d'un ensemble de points donnés.
On pourra aller voir :
- une applet qui permet de construire des diagrammes de Voronoï
- la page "Jouez avec les diagrammes de Voronoï" du site Interstices.
Jeu de briques
Snake
Pacman
Bubble