Full Width [alt+shift+f] Shortcuts [alt+shift+k]
Sign Up [alt+shift+s] Log In [alt+shift+l]
123
Related writings: “Logic, Explainability and the Future of Understanding” (2018) » “The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics” (2022) » “Computational Knowledge and the Future of Pure Mathematics” (2014) » The Simplest Axiom for Logic Theorem (Wolfram with Mathematica, 2000): The single axiom ((a•b)•c)•(a•((a•c)•a))c is a complete axiom system for Boolean algebra (and […]
6 months ago

Improve your reading experience

Logged in users get linked directly to articles resulting in a better reading experience. Please login for free, it takes less than 1 minute.

More from Stephen Wolfram Writings

What Can We Learn about Engineering and Innovation from Half a Century of the Game of Life Cellular Automaton?

Metaengineering and Laws of Innovation Things are invented. Things are discovered. And somehow there’s an arc of progress that’s formed. But are there what amount to “laws of innovation” that govern that arc of progress? There are some exponential and other laws that purport to at least measure overall quantitative aspects of progress (number of […]

4 months ago 53 votes
Towards a Computational Formalization for Foundations of Medicine

A Theory of Medicine? As it’s practiced today, medicine is almost always about particulars: “this has gone wrong; this is how to fix it”. But might it also be possible to talk about medicine in a more general, more abstract way—and perhaps to create a framework in which one can study its essential features without […]

5 months ago 62 votes
Launching Version 14.2 of Wolfram Language & Mathematica: Big Data Meets Computation & AI

The Drumbeat of Releases Continues… Notebook Assistant Chat inside Any Notebook Bring Us Your Gigabytes! Introducing Tabular Manipulating Data in Tabular Getting Data into Tabular Cleaning Data for Tabular The Structure of Tabular Tabular Everywhere Algebra with Symbolic Arrays Language Tune-Ups Brightening Our Colors; Spiffing Up for 2025 LLM Streamlining & Streaming Streamlining Parallel Computation: […]

5 months ago 73 votes
Useful to the Point of Being Revolutionary: Introducing Wolfram Notebook Assistant

Note: As of today, copies of Wolfram Version 14.1 are being auto-updated to allow subscription access to the capabilities described here. [For additional installation information see here.] Just Say What You Want! Turning Words into Computation Nearly a year and a half ago—just a few months after ChatGPT burst on the scene—we introduced the first […]

7 months ago 123 votes

More in science

The latest on US science funding

The US House and Senate appropriations subcommittees have now completed their markups on the bills relevant to the FY26 appropriations for NSF, NASA, and NIST.  The AAAS has an interactive dashboard with current information here if you want to click and look at all the science-related agencies.   Other agencies still need to go through the Senate subcommittees.  Just a reminder of how this is supposed to work.  The House and Senate mark up their own versions of the detailed appropriations bills.  In principle these are passed by each chamber (with the Senate versions for practical purposes requiring 60/100 votes of support because of the filibuster).  Then a conference committee hashes out the differences between the bills, and the conference version of the bills is then voted on by each chamber (again, needing 60/100 votes to pass in the Senate).  Finally, the president signs the spending bills.  In the fantasy land of Schoolhouse Rock, which largely described events until the 1990s, these annual spending bills are supposed to be passed in time for the start of the new fiscal year on October 1.  In practice, Congress has been deeply dysfunctional for years, and there have been a lot of continuing resolutions, late budgets, and mammoth omnibus spending bills.   To summarize: NSF - House recommendation = $6.997B (a 20.7% cut from FY25), Senate = $9B (a 2% increase from FY25).  These are in sharp contrast to the presidential budget request (PBR) of a 55.8% cut. NASA - House = flat from FY25, Senate = $24.9B (0.2% increase).   NIST - House = $1.28B (10.6% increase from FY25), Senate = $1.6B (38.3% increase from FY25) NOAA - House = $5.7B (28.3% increase from FY25), Senate = $6.1B (36.3% increase from FY25) DOE has gone through the House, where the Office of Science is recommending a 1.9% increase, in contrast to a 13.9% cut in the PBR.   If you are eligible and able to do so, please keep pushing.  As I wrote a few days ago, this is a long-term project, since appropriations happen every year.  As long as you're making your opinions known, it's good to push on representatives and senators that they need to hold the agency leadership accountable to actually spend what congress appropriates.  A science post soon....

11 hours ago 3 votes
How Distillation Makes AI Models Smaller and Cheaper

Fundamental technique lets researchers use a big, expensive “teacher” model to train a “student” model for less. The post How Distillation Makes AI Models Smaller and Cheaper first appeared on Quanta Magazine

15 hours ago 2 votes
Research Details Devastating Toll of Colonization on Pacific Northwest Wildlife

When Europeans arrived to the Pacific Northwest, they spread smallpox that devastated the Indigenous people, plundered stocks of salmon and herring, hunted down deer and other game, and built sprawling cities and ports. New research tallies the profound impact on wildlife. Read more on E360 →

18 hours ago 2 votes
The Soviet Zond 3 Lunar Flyby: Revealing the Rest of the Far Side

Naturally, the early history of space exploration is filled with firsts. Just six decades ago at this time, the world watched as NASA’s Mariner 4 spacecraft […]

yesterday 5 votes
Clearcutting Can Lead to Devastating Floods, But It Doesn’t Have To

It has long been understood that clearcutting forests leads to more runoff, worsening flooding. But a new study finds that logging can reshape watersheds in surprising ways, leading to dramatically more flooding in some forests, while having little effect on others. Read more on E360 →

2 days ago 4 votes