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

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!
https://www.heise.de/news/NE555-Der-unsterbliche-Timer-Chip-feiert-den-55-Geburtstag-11282093.html (link em alemão)
NE555: Der unsterbliche Timer-Chip feiert den 55. Geburtstag

Mit über einer Milliarde Exemplaren ist NE555 immer noch der meistproduzierte Chip. Er ist wohl in jedem Haushalt mit elektronischen Geräten irgendwo verbaut.

heise online

Happy 249th Birthday, Carl Friedrich!
Nächstes Jahr dann die große Party!

#gauss #braunschweig #PhysikEdu

https://de.wikipedia.org/wiki/Gau%C3%9F-Denkmal_(Braunschweig)

#30Abril #TalDiaComoHoy de 1777 nació Carl Friedrich #Gauss Con sus conocimientos contribuyó a la teoría de números, el análisis matemático, la geometría diferencial, la estadística, el álgebra... .. Pero la mejor fecha para recordar y celebrar hoy es el cumpleaños de mi nieto😍 ¡sus 12 años! 🎂

RE: https://mathstodon.xyz/@matematico314/116491733611723406

Galera, hoje é o aniversário de #Gauss!!! E uma data assim não pode passar em branco, certo? O que você fará para comemorar?

1) Vou construir um polígono regular de 17 lados usando apenas régua e compasso;

2) Farei, na minha adolescência, uma conjectura tão ousada e avançada a respeito da distribuição estatística dos números primos que não conseguirei prová-la mesmo adulto, deixando-a como um desafio para as próximas gerações;

3) Vou resolver um sistema linear de 15 variáveis na mão, por eliminação gaussiana;

4) Inventarei um tipo novo de geometria, mas não publicarei meus resultados para não me envolver em polêmicas;

5) Vou redescobrir um planeta anão perdido no céu noturno usando apenas cálculos manuais e um método de mínimos quadrados que acabei de inventar;

6) Somarei todos os números inteiros de 1 a 100 em cinco segundos, percebendo o padrão das somas antes que o professor termine de escrever o enunciado;

7) Calcularei o fluxo elétrico através de uma superfície fechada sem suar a camisa, apenas para provar que apenas a carga interna importa;

8) Adotarei o lema "Pauca sed matura" (Pouco, mas maduro) e me recusarei a enviar qualquer mensagem de texto até que cada vírgula esteja matematicamente perfeita;

9) Provarei o Teorema Fundamental da Álgebra de quatro maneiras diferentes, só para garantir que ninguém tenha dúvidas sobre a existência daquelas raízes.

10) Refatorarei um gerador de números aleatórios legado para utilizar std::normal_distribution da biblioteca <random>, garantindo uma saída perfeitamente gaussiana.

O que mais? Alguma outra sugestão de como comemorar uma data tão legal? rs

Today is #Gauss birthday. LET'S PARTY!!!!! How are you going to celebrate it?!

1) I will construct a regular 17-sided polygon using only a compass and straightedge;

2) I will make, in my adolescence, a conjecture about the statistical distribution of prime numbers so bold and advanced that I will be unable to prove it even as an adult, leaving it as a challenge for future generations;

3) I will solve a linear system of 15 variables by hand, using Gaussian elimination;

4) I will invent a new type of geometry but will not publish my results to avoid getting involved in controversies;

5) I will rediscover a lost dwarf planet in the night sky using only manual calculations and a method of least squares I just finished inventing;

6) I will sum all the integers from 1 to 100 in five seconds, identifying the pattern of the sums before the teacher even finishes writing the prompt;

7) I will calculate the electric flux through a closed surface without breaking a sweat, just to prove that only the enclosed charge matters;

8) I will adopt the motto "Pauca sed matura" (Few, but ripe) and refuse to send any text messages until every single comma is mathematically perfect.

9) I will prove the Fundamental Theorem of Algebra in four different ways, just to ensure that no one has any doubts about the existence of those roots.

10) I will refactor a legacy random number generator to use std::normal_distribution from the <random> library, ensuring a perfectly Gaussian output.

Any other idea? What else could be added to this list?!

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