L’acteur britannique Terence Stamp, qui avait incarné l’ange rédempteur du « Théorème » de Pasolini, est mort

Icône à la beauté angélique du Londres des années 1960, il avait séduit les plus grands cinéastes, remportant le prix d’interprétation à Cannes pour « L’Obsédé », de William Wyler en 1965. Il est décédé le dimanche 17 août, à l’âge de 87 ans.

Le Monde
« 380 ans de mystère enfin résolu » : des mathématiciens percent le secret ultime du théorème des cercles de Descartes avec une démonstration fulgurante - Innovant

Les mathématiques ont récemment connu une avancée majeure grâce à des chercheurs de l'université Monash. Ils ont résolu un casse-tête géométrique vieux de plusieurs siècles, lié au célèbre théorème des cercles de Descartes. Cette découverte n'est pas seulement un exploit intellectuel, elle ouvre aussi de nouvelles perspectives en géométrie et au-delà. Quelles implications cela pourrait-il

Innovant - L'actualité des innovations
« 380 ans de mystère enfin résolu » : des #mathématiciens ( #maths ) percent le secret ultime du #théorème des #cercles de #Descartes avec une #démonstration fulgurante www.innovant.fr/2025/04/08/3...

« 380 ans de mystère enfin rés...
Bluesky

Bluesky Social
📐 "Dernier théorème de #Fermat : à l'épreuve de l'informatique" (La Science, CQFD, 27 mars 2025)
https://www.radiofrance.fr/franceculture/podcasts/la-science-cqfd/le-dernier-theoreme-de-fermat-8350706
"Un projet collaboratif s’est donné pour objectif de formaliser la #preuve du #théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?"
Dernier théorème de Fermat : à l'épreuve de l'informatique

Un projet collaboratif s’est donné pour objectif de formaliser la preuve du théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?

France Culture
Dernier théorème de Fermat : à l'épreuve de l'informatique

Un projet collaboratif s’est donné pour objectif de formaliser la preuve du théorème de Fermat afin de pouvoir l’apprendre à un ordinateur. Quel est l’enjeu de cette formalisation ? Pourquoi est-ce si compliqué ? Qu’est-ce qu’un assistant de preuve et quel est son rôle en mathématiques ?

France Culture
Bluesky

Bluesky Social

Quelque part à Sainté ce dimanche.
Affiche Clara Dictature.

#télédétente #S.H.I.T #théoreme
#noiserock #ElectroNoise #techno #ambiantdrone

Bluesky

Bluesky Social
2000 ans d'histoire soudainement bousculés par deux adolescentes américaines avec une avancée inédite sur le théorème de Pythagore

Deux adolescentes américaines ont bouleversé un pilier fondamental de la géométrie euclidienne créé il y a plus de 2 000 ans. Elles ont effectivement proposé une nouvelle approche à la résolution du théorème de Pythagore, ce que l’on pensait impossible jusqu’à présent.

Science et vie
Théorème du jour (version française) (18 février 2025) : Le Théorème de Cantor de Non-dénombrabilité
Source : Theorem of the Day / Robin Whitty
pdf : https://www.theoremoftheday.org/LogicAndComputerScience/CantorUncountable/TotDCantorUFR.pdf
notes : https://www.theoremoftheday.org/Resources/TheoremNotes.htm#22
#mathématiques #maths #math #théorème