#binarynumbers — Public Fediverse posts

Very well written article about a recent mathematical proof using the verification tool, Lean, that puts a polynomial cap on sumset size
#lean #math #settheory #informationtheory #entropy #combinatorics #binarynumbers

‘A-Team’ of Math Proves a Critical Link Between Addition and Sets, by Leila Sloman

https://www.quantamagazine.org/a-team-of-math-proves-a-critical-link-between-addition-and-sets-20231206/

I remember doing all sorts of crafts with glue & paper learning fractions but never did we try dividing the paper to infinity— I think this should be something everyone tries. I’d do this with calculus students learning series! The idea of an infinite sum having finite value is just more— believable after you really do it. And I’m trying to get these 6th graders to like fractions. So they just can’t be BORING— #mathEducation #mathematics #series #geometricSeries #binaryNumbers #artsAndCrafts

"John William Shirley (1908–1988) published reproductions of two of Harriot’s undated manuscript pages, which, he claimed, showed that Harriot had invented binary numeration “nearly a century before Leibniz’s time”"

https://link.springer.com/article/10.1007/s00283-023-10271-9

Via Hacker News [ https://news.ycombinator.com/item?id=35663799 ]

#History #Mathematics #Numbers #NumberSystems #BinaryNumbers

In 1679, centuries before they became useful in computers, Gottfried Wilhelm Leibniz invented binary numbers. #Poetry #Science #History #Mathematics #BinaryNumbers #Leibniz (https://sharpgiving.com/thebookofscience/items/p1679.html)