Ask a Tech Teacher

OCTOBER 23, 2019

Bright Science is a free YouTube channel of over 1300 study videos for high schoolers (or precocious middle schoolers). Most are about five minutes (some longer, some shorter) and cover topics like chemistry, physics, calculus, geometry, biology, Algebra, trigonometry, grammar, ACT prep, and SAT prep. Futures Channel.

Education 183

Education Education Earth science Government 183

Stephen Wolfram

MARCH 7, 2022

And in what follows we’ll see the great power that arises from using this to combine the achievements and intuitions of physics and mathematics—and how this lets us think about new “general laws of mathematics”, and view the ultimate foundations of mathematics in a different light. So how about logic, or, more specifically Boolean algebra ?

Mathematics 116

Mathematics Physics Computer Algebra 116

Futurum

JULY 13, 2022

There are many branches of maths, including algebra, geometry, calculus and statistics. Linear algebra, statistics and computer programming are particularly useful. “If WHAT ARE YOUR PROUDEST CAREER ACHIEVEMENTS SO FAR? WHAT DOES A DAY IN THE LIFE OF A MATHEMATICIAN LOOK LIKE? . PATHWAY FROM SCHOOL TO MATHEMATICS.

Mathematics 82

Mathematics Artificial Intelligence Math Research 82

Stephen Wolfram

NOVEMBER 10, 2021

For example, we know (as I discovered in 2000) that (( b · c ) · a ) · ( b · (( b · a ) · b )) = a is the minimal axiom system for Boolean algebra , because FindEquationalProof finds a path that proves it. And this is where our pieces of “falsifiable natural science” come in.

Physics 117

Physics Mathematics Computer Construction 117

Stephen Wolfram

MAY 25, 2021

How do we achieve this? Let’s say that we’re trying to achieve the objective of having an efficient transportation system for carrying people around. No doubt there’ll at least be some “natural-science-like” characterizations of what’s going on. Will there still be “human-level descriptions” that involve numbers?

Mathematics 52

Mathematics Physics Computer Algebra 52

Stephen Wolfram

JANUARY 9, 2025

And in fact, to my knowledge, my Boolean algebra axiom is actually the only truly unexpected result thats ever been found for the first time using automated theorem proving. It is, I think, an interesting challengethat gets at the heart of what one can (and cant) expect to achieve with formalized mathematics. And thats interesting.

Mathematics 93

Mathematics Algebra Computer Natural Sciences 93