Futurum

AUGUST 11, 2022

I work with the Project for Inmate Education programme at UCSC, where I teach algebra and astronomy in Santa Cruz jail facilities. Indigenous peoples have nurtured relationships with the stars through keen observations, place-based ceremony, navigation and celestial architecture for tens of thousands of years,” she says.

Astronomy 98

Astronomy Equality Research Research 98

Stephen Wolfram

MARCH 5, 2024

In 2000 I was interested in what the simplest possible axiom system for logic (Boolean algebra) might be. Perhaps even the architecture of the network can change. Probably it’s because neural nets capture the architectural essence of actual brains. The simplest known up to that time involved 9 binary ( Nand ) operations.

Sciences 116

Sciences Science Computer Mathematics 116

Stephen Wolfram

SEPTEMBER 9, 2021

Mathematics is normally done at the level of “specific mathematical concepts” (like, say, algebraic equations or hyperbolic geometry)—that are effectively the “populated places” (or “populated reference frames”) of metamathematical space. Imagine for example that one has a neural net with a certain architecture.

Physics 66

Physics Sciences Science Mathematics 66

Stephen Wolfram

SEPTEMBER 9, 2021

Mathematics is normally done at the level of “specific mathematical concepts” (like, say, algebraic equations or hyperbolic geometry)—that are effectively the “populated places” (or “populated reference frames”) of metamathematical space. Imagine for example that one has a neural net with a certain architecture.

Sciences 60

Sciences Science Physics Mathematics 60

Stephen Wolfram

AUGUST 22, 2023

Then McCarthy started to explain ways a computer could do algebra. It was all algebra. And the only conclusion we can arrive at is that a person can’t do this much algebra with the hope of getting it right.” And Minsky mentioned work a student of his was doing on the “AI problem” of symbolic integration.

Computer 69

Computer Physics Sciences Science 69

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. Still, finding such paths is what automated theorem provers do.

Physics 117

Physics Mathematics Computer Construction 117

STEM Education Shopping

JULY 19, 2023

Algebra Tiles for Algebraic Manipulations Now that you have a solid understanding of base ten blocks for place value understanding, let’s move on to another powerful tool for algebraic manipulations: algebra tiles. So grab some base ten blocks and start exploring the world of place value today!

Math 52

Math Algebra Data analysis Problem Solving 52

PCS Edventures

MARCH 4, 2020

Algebra , which incorporates unknown variables into arithmetic equations. To make math resonate with your elementary school learners, check out BrickLAB: Famous Architecture. Travel through history investigating how ancient architectural breakthroughs led to the fundamental design elements we know today.

Mathematics 52

Mathematics Energy Architecture Government 52