#gauss — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #gauss, aggregated by home.social.
-
Always striking to see how multi-faceted some of the great scientists of the past were ( #Gauss, #Faraday, #Maxwell, #Newton, #Somerville, #Lovelace etc.). The boundaries between disciplines were much more fluid back then, and the same person could contribute to multiple fields, even though they might be remembered for only one today.
#Neuroscience #Physics #ComputerScience #Mathematics #Biology #Astronomy #Geophysics #ScienceHistory
-
Always striking to see how multi-faceted some of the great scientists of the past were ( #Gauss, #Faraday, #Maxwell, #Newton, #Somerville, #Lovelace etc.). The boundaries between disciplines were much more fluid back then, and the same person could contribute to multiple fields, even though they might be remembered for only one today.
#Neuroscience #Physics #ComputerScience #Mathematics #Biology #Astronomy #Geophysics #ScienceHistory
-
Rocket Lab (RKLB) Is Up 6.5% After Unveiling High‑Volume Gauss Propulsion Line For Satellite Constellations
Rocket Lab Corporation recently introduced Gauss, an in‑house electric Hall thruster system built on a high‑volume line capable…
#NewsBeep #News #Space #AU #Australia #Gauss #propulsionunits #riskandreward #RocketLab #Science
https://www.newsbeep.com/au/612210/ -
Rocket Lab (RKLB) Is Up 6.5% After Unveiling High‑Volume Gauss Propulsion Line For Satellite Constellations
Rocket Lab Corporation recently introduced Gauss, an in‑house electric Hall thruster system built on a high‑volume line capable…
#NewsBeep #News #Space #AU #Australia #Gauss #propulsionunits #riskandreward #RocketLab #Science
https://www.newsbeep.com/au/612210/ -
https://www.europesays.com/ie/439352/ Rocket Lab (RKLB) Is Up 6.5% After Unveiling High‑Volume Gauss Propulsion Line For Satellite Constellations #Éire #Gauss #IE #Ireland #PropulsionUnits #RiskAndReward #RocketLab #Science #Space
-
Rocket Lab’s Gauss Thruster Launch Adds New Angle To RKLB Story
Make better investment decisions with Simply Wall St’s easy, visual tools that give you a competitive edge. Rocket…
#NewsBeep #News #Space #AU #Australia #electricpropulsion #Gauss #RocketLab #satelliteoperators #Science #spacesystems
https://www.newsbeep.com/au/608447/ -
Rocket Lab’s Gauss Thruster Launch Adds New Angle To RKLB Story
Make better investment decisions with Simply Wall St’s easy, visual tools that give you a competitive edge. Rocket…
#NewsBeep #News #Space #AU #Australia #electricpropulsion #Gauss #RocketLab #satelliteoperators #Science #spacesystems
https://www.newsbeep.com/au/608447/ -
https://www.europesays.com/ie/436221/ Rocket Lab’s Gauss Thruster Launch Adds New Angle To RKLB Story #Éire #ElectricPropulsion #Gauss #IE #Ireland #RocketLab #SatelliteOperators #Science #Space #SpaceSystems
-
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/
-
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/
-
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.]
-
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.]
-
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.]
-
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.]
-
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.]
-
#Gauss
Lors du dernier congrès annuel de l'association Math-Ador à Laval (53), en novembre 2025, les travaux en réunions plénières ont été précédés, comme à l'accoutumée, de deux jours de rencontres bilatérales…
Chacun des 53 présents a ainsi rencontré en tête à tête chacun des 52 autres. Chacune de ces rencontres concernant 2 personnes, il y en a eu (53×52)/2.
Une autre façon d'envisager cette question est : numérotons de 1 à 53 les participants ; le premier a rencontré les 52 autres ; le second en a rencontré 51 non compris le premier déjà comptabilisé ; le troisième 50 non compris les numéros 1 et 2 etc… et ce décompte s'achève avec la rencontre entre les numéros 52 et 53. Il y a donc 52+51+50+...+1 rencontres bilatérales.
Ainsi, 52+51+50+...+1 = (53×52)/2.NB : on prévoit non plus 53 participants, mais n+1 pour le congrès 2026, d'où la formule de Gauss :
n+(n-1)+(n-2)+...+1 = (n+1).n/2Bonne semaine, OldGH
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Forschungsgruppen und Unternehmen aufgepasst: Bewerbt euch mit eurem Modell zu generativer #KI noch bis zum 17. März und gewinnt #Rechenzeit am ersten europäischen #Exascale-#Supercomputer #JUPITER, der im Mai 2025 startet.
Der #Wettbewerb #Gauss-AI-Compute Competition wird vom Gauss Centre for Supercomputing (#GCS) und dem @fzj_jsc durchgeführt.
👉 https://bmbf.de/gauss-ai-compute
#EuroHPC #AI #AI #supercomputing #MachineLearning #BigData #ComputerScience #DataScience
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Samsung unveils Gauss2 AI model at SDC24 Korea https://www.artificialintelligence-news.com/news/samsung-unveils-gauss2-ai-model-sdc24-korea/ #samsung #gauss #sdc24 #iot #mobile #ai #tech #news #technology
-
Samsung unveils Gauss2 AI model at SDC24 Korea https://www.artificialintelligence-news.com/news/samsung-unveils-gauss2-ai-model-sdc24-korea/ #samsung #gauss #sdc24 #iot #mobile #ai #tech #news #technology
-
Samsung unveils Gauss2 AI model at SDC24 Korea https://www.artificialintelligence-news.com/news/samsung-unveils-gauss2-ai-model-sdc24-korea/ #samsung #gauss #sdc24 #iot #mobile #ai #tech #news #technology
-
Samsung unveils Gauss2 AI model at SDC24 Korea https://www.artificialintelligence-news.com/news/samsung-unveils-gauss2-ai-model-sdc24-korea/ #samsung #gauss #sdc24 #iot #mobile #ai #tech #news #technology
-
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 -
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 -
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence
-
Carl Friedrich #Gauss schlug 1820 vor, gigantische Quadrate durch Abholzung sibirischer Wälder zu “zeichnen”. Ziel war es, mit #Aliens zu kommunizieren.
#Geschichte #SETI #CETI #Space
https://en.m.wikipedia.org/wiki/Communication_with_extraterrestrial_intelligence