close

Welcome to uLearnBig, a place to learn and educate. 

#math

ULearnBig
42 Views · 7 months ago

The documentary film "History of Mathematics" takes viewers on a fascinating journey through time to explore the evolution of mathematics in various civilizations. From ancient Egypt and Mesopotamia to Greece, China, India, and the Middle East, the film highlights the contributions of prominent mathematicians and their impact on the field.

The film delves into the use of decimal systems, the invention of the number zero and the concept of infinity, the creation of algebra, and the spread of Eastern knowledge to the West. With a combination of historical footage, expert interviews, and breathtaking visuals, this documentary brings to life the rich history of mathematics and its role in shaping the world we live in today..

1:20 - Mathematics in Egypt
19:30 - Mathematics in Mesopotamia
35:21 - Mathematics in Greece
54:21 - Mathematics in China
1:10:08 - Mathematics in India
1:35:36 - Mathematics in Europe

#mathematics #math #history #documentary

ULearnBig
28 Views · 7 months ago

Leslie Lamport revolutionized how computers talk to each other. The Turing Award-winning computer scientist pioneered the field of distributed systems, where multiple components on different networks coordinate to achieve a common objective. (Internet searches, cloud computing and artificial intelligence all involve orchestrating legions of powerful computing machines to work together.) In the early 1980s, Lamport also created LaTeX, a document preparation system that provides sophisticated ways to typeset complex formulas and format scientific documents. In 1989, Lamport invented Paxos, a “consensus algorithm” that allows multiple computers to execute complex tasks; without it, modern computing could not exist. He’s also brought more attention to a handful of problems, giving them distinctive names like the bakery algorithm and the Byzantine Generals Problem. Lamport’s work since the 1990s has focused on “formal verification,” the use of mathematical proofs to verify the correctness of software and hardware systems. Notably, he created a “specification language” called TLA+ (for Temporal Logic of Actions), which employs the precise language of mathematics to prevent bugs and avoid design flaws.

Read more at Quanta Magazine: https://www.quantamagazine.org..../bringing-mathematic

- VISIT our Website: https://www.quantamagazine.org
- LIKE us on Facebook: https://www.facebook.com/QuantaNews
- FOLLOW us Twitter: https://twitter.com/QuantaMagazine

Quanta Magazine is an editorially independent publication supported by the Simons Foundation https://www.simonsfoundation.org/

#computerscience #math