Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#fermat

2 posts2 participants0 posts today
Public
🌳 Olivier Pirson – OPi 🇧🇪🇫🇷🇬🇧🐧

📐 "Dernier théorème de #Fermat : à l'épreuve de l'informatique" (La Science, CQFD, 27 mars 2025)
radiofrance.fr/franceculture/p
"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
France Culture · Dernier théorème de Fermat : à l'épreuve de l'informatiqueUn 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 ?
Public
Ele Willoughby, PhD

Happy birthday to French mathematician, physicist and philosopher Marie-Sophie Germain (1776 – 1831), known as Sophie. She taught herself mathematics using books in her father’s library and by corresponding with leading mathematicians of her day, including Lagrange, Legendre and Gauss, initially using the pseudonym Monsieur LeBlanc. 🧵1/n
⁠
#linocut #printmaking #sciart #mathart #SophieGermain #ChladniFigures #mathematician #Fermat #womenInSTEM #physicist

Linocut of Sophie Germain (a young woman in with a collar with bow, under a dark dress, with a ribbon tied around her neck, long hair with centre part, half tied up with a ribbon in her hair). She is printed in dark blue with her own words about Fermat's Last Theorem in her own script carved into her hair and dress). Behind her in lavender is a grid of Chladni figures.
Public
Ele Willoughby, PhD

Happy birthday to French mathematician, physicist and philosopher Marie-Sophie Germain (1776 – 1831), known as Sophie. She taught herself mathematics using books in her father's library and by corresponding with leading mathematicians of her day, including Lagrange, Legendre and Gauss, initially using the pseudonym Monsieur LeBlanc. 🧵1/n
⁠
#linocut #printmaking #sciart #mathart #SophieGermain #mathematician #Fermat #womenInSTEM #physicist #Gauss #histstm #printmaker #ReliefPrint #MastoArt

Linocut of Sophie Germain (a young woman in with a collar with bow, under a dark dress, with a ribbon tied around her neck, long hair with centre part, half tied up with a ribbon in her hair). She is printed in dark blue with her own words about Fermat's Last Theorem in her own script carved into her hair and dress). Behind her in lavender is a grid of Chladni figures.
Replied in thread
Public
John Carlsen 🇺🇸🇳🇱🇪🇺

@gutenberg_org @wikipedia

From mathworld.wolfram.com/FermatsP (ellipses mine):

"Fermat's Polygonal Number Theorem
In 1638, Fermat proposed that every positive integer is a sum of at most three triangular numbers, four square numbers, five pentagonal numbers, and n n-polygonal numbers. Fermat claimed to have a proof of this result, although Fermat's proof has never been found. Gauss proved the triangular case, and noted the event in his diary on July 10, 1796, ... (Duke 1997). More specifically, a number is a sum of three squares iff it is not of the form 4^b(8m+7) for b>=0, as first proved by Legendre in 1798.

Euler was unable to prove the square case of Fermat's theorem, but he left partial results which were subsequently used by Lagrange. The square case was finally proved by Jacobi and independently by Lagrange in 1772. It is therefore sometimes known as Lagrange's four-square theorem. In 1813, Cauchy proved the proposition in its entirety."

mathworld.wolfram.comFermat's Polygonal Number Theorem -- from Wolfram MathWorldIn 1638, Fermat proposed that every positive integer is a sum of at most three triangular numbers, four square numbers, five pentagonal numbers, and n n-polygonal numbers. Fermat claimed to have a proof of this result, although Fermat's proof has never been found. Gauss proved the triangular case, and noted the event in his diary on July 10, 1796, with the notation **EUpsilonPHKA num=Delta+Delta+Delta. This case is equivalent to the statement that every number of the form 8m+3 is a sum...
#Fermat#math#mathematics
SearchLive feeds
About