home.social

#gauss — Public Fediverse posts

Live and recent posts from across the Fediverse tagged #gauss, aggregated by home.social.

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. Os últimos dias foram cheios de #efemérides. Tivemos o aniversário de #Gauss no dia 30, o #workersday no dia primeiro, o #May4th no dia 4 e o #DiaNacionalDaMatemática no dia 6. Mas poucos lembraram que no dia 5 foi o aniversário de 55 anos do famoso circuito integrado 555!
    heise.de/news/NE555-Der-unster (link em alemão)

  7. Os últimos dias foram cheios de #efemérides. Tivemos o aniversário de #Gauss no dia 30, o #workersday no dia primeiro, o #May4th no dia 4 e o #DiaNacionalDaMatemática no dia 6. Mas poucos lembraram que no dia 5 foi o aniversário de 55 anos do famoso circuito integrado 555!
    heise.de/news/NE555-Der-unster (link em alemão)

  8. Os últimos dias foram cheios de #efemérides. Tivemos o aniversário de #Gauss no dia 30, o #workersday no dia primeiro, o #May4th no dia 4 e o #DiaNacionalDaMatemática no dia 6. Mas poucos lembraram que no dia 5 foi o aniversário de 55 anos do famoso circuito integrado 555!
    heise.de/news/NE555-Der-unster (link em alemão)

  9. 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
    newsbeep.com/au/608447/

  10. 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
    newsbeep.com/au/608447/

  11. 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] thefundamentaltheor3m.github.i

    [2] leanprover.zulipchat.com/#narr

    [3] math.inc/sphere-packing

    #Lean #spherepacking #gauss #formalization

  12. 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

  13. #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/2

    Bonne semaine, OldGH

    #mathsenvie #maths #mathalea

  14. 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

    en.m.wikipedia.org/wiki/Commun

  15. 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.

    👉 bmbf.de/gauss-ai-compute

    #EuroHPC #AI #AI #supercomputing #MachineLearning #BigData #ComputerScience #DataScience

  16. 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

    en.m.wikipedia.org/wiki/Commun

  17. 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

    en.m.wikipedia.org/wiki/Commun

  18. 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

    en.m.wikipedia.org/wiki/Commun

  19. 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, …

    #linocut #printmaking #sciart #mathart #SophieGermain #ChladniFigures #mathematician #Fermat #womenInSTEM #physicist #elasticity #Gauss #histstm #printmaker #ReliefPrint #WomensHistoryMonth

  20. Always a fun evening whenever Physics Explained uploads a new video (and re-uploads once or twice for minor corrections... I think we got the final version now). This time it's about Heisenberg's uncertainty principle and we randomly perform a Fourier transformation, solve the time-independent wave function, and use Taylor to get the full solution. youtu.be/FRP4AqZR3UU

    #physics #physik #fysica #natuurkunde #heisenberg #euler #gauss #probability #wavefunction #hbarovertwo #waveparticleduality