Full Width [alt+shift+f] Shortcuts [alt+shift+k]
Sign Up [alt+shift+s] Log In [alt+shift+l]
96
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 […]
3 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 […]

a month ago 24 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 […]

2 months ago 39 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: […]

3 months ago 53 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 […]

4 months ago 103 votes

More in science

Why We Dress the Way We Dress

The Four Layers of Fashion

7 hours ago 2 votes
The secret liberalization of animal drugs

The FDA should do something similar for humans

4 hours ago 1 votes
Transgene-Free Gene Editing in Plants

Regulations are a classic example of a proverbial double-edged sword. They are essential to create and maintain a free and fair market, to prevent exploitation, and to promote safety and the public interest. Just look at 19th century America for countless examples of what happens without proper regulations (child labor, cities ablaze, patent medicines, and […] The post Transgene-Free Gene Editing in Plants first appeared on NeuroLogica Blog.

7 hours ago 1 votes
Improving Deep Learning With a Little Help From Physics

Rose Yu has a plan for how to make AI better, faster and smarter — and it’s already yielding results. The post Improving Deep Learning With a Little Help From Physics first appeared on Quanta Magazine

yesterday 2 votes
The discovery of copper

New ways to find and extract copper from the earth.

yesterday 2 votes