Browsing: Writings

Note: As of today, copies of Wolfram Version 14.1 are being auto-updated to allow subscription access to the capabilities described…

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…

The Drumbeat of Releases Continues… Just under six months ago (176 days ago, to be precise) we released Version 14.1.…

A Theory of Medicine? As it’s practiced today, medicine is almost always about particulars: “this has gone wrong; this is…

Things are invented. Things are discovered. And somehow there’s an arc of progress that’s formed. But are there what amount…

Cats Don’t Talk We humans have perhaps 100 billion neurons in our brains. But what if we had many more?…