The Math That Explains Why Bell Curves Are Everywhere | Quanta Magazine

The central limit theorem started as a bar trick for 18th-century gamblers. Now scientists rely on it every day.

Quanta Magazine

Junking a 35-ton Firestarter in 3 shots - the Gauss cannon in MechWarrior 5: Mercenaries

https://video.gamerstavern.online/w/cch4djm538L92VwrgxEWTd

Junking a 35-ton Firestarter in 3 shots - the Gauss cannon in MechWarrior 5: Mercenaries

PeerTube
Cause of death: science

Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].

[1] https://thefundamentaltheor3m.github.io/Sphere-Packing-Lean/

[2] https://leanprover.zulipchat.com/#narrow/channel/113486-announce/topic/Sphere.20Packing.20Milestone/with/575354368

[3] https://www.math.inc/sphere-packing

#Lean #spherepacking #gauss #formalization

Formalising Sphere Packing in Lean

by Chris Birkbeck, Sidharth Hariharan, Gareth Ma, Bhavik Mehta, Seewoo Lee, Maryna Viazovska

A Formalisation of Viazovska’s Solution to the Sphere Packing Problem in Dimension 8
Gauss Weekday

Friedrich Schiller's (1759–1805) poem ‘Archimedes and the Student’ (see 1st attached image for typeset text):

To Archimedes came an inquisitive youth
“Initiate me,” he said to him, “into the divine science,
That bore such splendid fruit for the nation
And shielded the walls of the city from the sambuca!”
“Divine you call the science? It is,” replied the sage,
“But it was so, my son, even before it served the state.
If you want only fruit from her, even mortals can provide it;
Who courts the goddess, seeks not in her the woman.”

(The sambuca was a ship-mounted siege engine; see 2nd attached image. During the Roman siege of Syracuse, it failed in the face of the war-machines designed by Archimedes.)

In 1808, Carl Friedrich Gauss (1777–1855) became director of the observatory at Göttingen and in his inaugural lecture declared that mathematics in general and astronomy in particular had a value — at least in part aesthetic — that was prior to and independent of any utility:

‘The happy great minds who created and expanded astronomy as well as the other beautiful parts of mathematics were certainly not inspired by the prospect of future use: they searched the truth for its own sake and found in the very success of their efforts their reward and their happiness. I cannot avoid at this point reminding you of ARCHIMEDES […]. You must all know the beautiful poem by SCHILLER.’

1/3

[Each day of February, I am posting a short interesting story/image/fact/anecdote related to the aesthetics of mathematics.]

#Archimedes #Schiller #Gauss #poetry #HistMath

Since @lindasgoluppiart is mired in the world of political fords and #socks:

Today:

Take a tangerine, orange, satsuma, or some such, and try to unpeel it entirely in one long helical strip. How narrow can you make the strip and still only take 1 minute to unpeel the whole thing?

If you are doing this in #Dunelm, the area with all of the pillowcases is probably the quietest. Respect the staff and take the peel with you, though.

https://youtube.com/watch?v=D3tdW9l1690

#curvature #maths #SlowLife #Gauss

A Strange Map Projection (Euler Spiral) - Numberphile

YouTube

@JonnElledge

A ball is 3D. A sphere is the surface of a ball and is only 2D. It has just 2 coördinates for every point, latitude and longitude (i.e. θ and φ without r).

I know that @standupmaths has definitely covered this particular one. I've seen Matt do it. This is Key Stage 3 National Curriculum #maths as taught in secondary school.

As I said, you've got a loudness of teeth grinding metric for how many mathematicians are in your readership who can further take that beyond KS3 to the 2 centuries of maths built from Karl Freidrich #Gauss and others that are some of the underpinnings of 20th century relativistic #physics.

I don't know whether you have a metric for the number of physicists in your readership. Physicists's teeth tend to start out frictionless, perfectly cuboid, inertial, and in vacuo. (-:

@oantolin @mapasmilhaud
#DifferentialGeometry #topology #curvature #cartography

Archiv
Vím že už jedna z archívu dnes byla, ale dnes je to na den přesně patnáct let, co vznikla na kuchyňské lince tato "matematická fotografie" ze tří listů kancelářského papíru zatížených dvěma sklenicemi a celé to nasvítila stolní lampa. Kdybych měl vybrat mezi svými fotografiemi tři nejoblíbenější, tak tato bude mezi nimi.

#archiv #bw #photography #paper #gauss