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. Explore.org. Futures Channel.

Education 181

Education Education Earth science Government 181

Stephen Wolfram

MAY 25, 2021

No doubt there’ll at least be some “natural-science-like” characterizations of what’s going on. The same is true of axioms for areas of abstract algebra like group theory—as well as basic Euclidean geometry (at least for integers). Will there still be “human-level descriptions” that involve numbers?

Mathematics 52

Mathematics Physics Computer Algebra 52

Stephen Wolfram

MARCH 7, 2022

But beginning a little more than a century ago there emerged the idea that one could build mathematics purely from formal axioms, without necessarily any reference to what is accessible to sensory experience. So how about logic, or, more specifically Boolean algebra ? We’ve looked at axioms for group theory and for Boolean algebra.

Mathematics 119

Mathematics Physics Computer Algebra 119

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. But what about something more like a theory in natural science? But, OK, so we know its true. And thats interesting. Maybe thats different.

Mathematics 96

Mathematics Algebra Computer Natural Sciences 96