Stephen Wolfram

JANUARY 31, 2023

Already the steam-engine works our mines, impels our ships, excavates our ports and our rivers, forges iron, fashions wood, grinds grain, spins and weaves our cloths, transports the heaviest burdens, etc. It appears that it must some day serve as a universal motor, and be substituted for animal power, water-falls, and air currents.

Energy 91

Energy Physics Argumentation Mathematics 91

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. But particularly in applications of calculus, it’s common to want to ask slightly more elaborate questions, like “What’s the integral of over the region ?”, or “What’s the integral of along the line ?”

Computer 121

Computer Calculus Construction Mathematics 121

Stephen Wolfram

FEBRUARY 3, 2023

Sometimes textbooks will gloss over everything; sometimes they’ll give some kind of “common-sense-but-outside-of-physics argument”. Once one has the idea of “equilibrium”, one can then start to think of its properties as purely being functions of certain parameters—and this opens up all sorts of calculus-based mathematical opportunities.

Computer 93

Computer Energy Physics Construction 93

Stephen Wolfram

AUGUST 29, 2024

In the end—after all sorts of philosophical arguments, and an analysis of actual historical data —the answer was: “It’s Complicated”. A test example coming soon is whether I can easily explain math ideas like algebra and calculus this way.) OK, so that’s a lot of projects.

Physics 114

Physics Computer Biology Mathematics 114

Stephen Wolfram

SEPTEMBER 9, 2021

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. And the same issue arose for Alonzo Church’s lambda calculus (introduced around 1930). At the level of individual events, ideas from the theory and practice of computation are useful. One is so-called Böhm trees.

Physics 67

Physics Sciences Science Mathematics 67

Stephen Wolfram

SEPTEMBER 9, 2021

Events are like functions, whose “arguments” are incoming tokens, and whose output is one or more outgoing tokens. And the same issue arose for Alonzo Church’s lambda calculus (introduced around 1930). At the level of individual events, ideas from the theory and practice of computation are useful. One is so-called Böhm trees.

Sciences 61

Sciences Science Physics Mathematics 61

Stephen Wolfram

NOVEMBER 10, 2021

But what about other models of computation—like cellular automata or register machines or lambda calculus? And we can trace the argument for this to the Principle of Computational Equivalence. We’ve talked about building up the ruliad using Turing machines. A very important claim about the ruliad is that it’s unique.

Physics 121

Physics Mathematics Computer Construction 121