National Science Foundation

SEPTEMBER 22, 2021

In its current form, school algebra serves as a gatekeeper to higher-level mathematics. Researchers and policy makers have pushed to open that gate—providing more students access to algebra, focusing in particular on those students historically denied access to higher-level mathematics. Let’s Not Be So Quick to Give Up on Algebra.

Algebra 76

Algebra Mathematics Flexibility Research 76

Stephen Wolfram

JANUARY 9, 2023

But while ChatGPT is a remarkable achievement in automating the doing of major human-like things, not everything that’s useful to do is quite so “human like”. Put another way, it’d take “fixing” an almost infinite number of “bugs” to patch up what even an almost-infinitesimal corner of Wolfram|Alpha can achieve in its structured way.

Computer 145

Computer Communications Achievement Mathematics 145

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 120

Mathematics Physics Computer Algebra 120

Stephen Wolfram

DECEMBER 13, 2021

Any integral of an algebraic function can in principle be done in terms of our general DifferentialRoot objects. When you do operations on Around numbers the “errors” are combined using a certain calculus of errors that’s effectively based on Gaussian distributions—and the results you get are always in some sense statistical.

Construction 67

Construction Computer Physics Accessibility 67

Stephen Wolfram

JUNE 28, 2023

Line, Surface and Contour Integration “Find the integral of the function ” is a typical core thing one wants to do in calculus. And in Mathematica and the Wolfram Language that’s achieved with Integrate. And over the years that’s exactly what we’ve achieved—for integrals, sums, differential equations, etc. And in Version 13.3

Computer 118

Computer Calculus Construction Mathematics 118

Stephen Wolfram

NOVEMBER 10, 2021

For integers, the obvious notion of equivalence is numerical equality. 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.

Physics 122

Physics Mathematics Computer Construction 122