“You can’t understand decidability without computer science.—Propertarian Fran

—“You can’t understand decidability without computer science.—Propertarian Frank

That’s the conclusion I came to. I can read all those thinkers at the turn of the 20th century. And then I read … just ONE paper by Turing, and .. I get it. It wasn’t until I got to Mises and I understood he had it wrong somehow, but right somehow. It just took me a long time to put it all together.

Computers are a different way of thinking – a NEW way of thinking. They are as different as empiricism was from reason, and as different as rationalism was from reason, and as different as geometry was from arithmetic.

We burned a century because babbage couldn’t get his machine into production on a meaningful (military) problem.

We burned almost 2000 years because Achimedes was his era’s Babbage, and Athens and Sparta were our era’s Germany and Britain.

We could have dragged humanity out of ignorance and poverty 2000 years ago.

I know why now. I know what we do wrong.

And we, in our generation, must fix it forever.