@thegibson In my headcanon Outlander continues until it becomes Outland featuring Sean Connery, with the rise of the Scottish Space Empire in the middle
Wrench zombie: tHe mAnY dEsIrE tHe NeW fLeSh. aLL mUsT bE JoInEd tO thE OnE
Me: Cool, sign me up?
Me: look I just plugged a worm into my gut and it gave me hitpoints, so, you guys have obviously figured out some stuff on the healthcare front, maybe your outreach needs a little work, but
Zombie: aRe.. wE pOpUlAr aGaIn?
Me: Wave election! Also serious housing issues in the port nacelle
Zombie: sIgH FINE HERE'S A FORM
Me: you won't regret it!
Zombie: aLreAdY aM
They disembarked in '45
And no-one spoke and no-one smiled
There were too many spaces in the line.
Gathered at the cenotaph
All agreed with hand on heart
To sheath the sacrificial knives.
She stands upon Southampton dock
With her handkerchief
And her summer frock clings
to her wet body in the rain.
In quiet desperation
Knuckles white upon the slippery reins
She bravely waves the boys Goodbye again.
At The Cenotaph
I saw the Prince of Darkness, with his Staff,
Standing bare-headed by the Cenotaph:
Unostentatious and respectful, there
He stood, and offered up the following prayer.
'Make them forget, O Lord, what this Memorial
Means; their discredited ideas revive;
Breed new belief that War is purgatorial
Proof of the pride and power of being alive;
First they came for the journalists.
We don't know what happened after that.
@abs I think he's interested in it because it's the smallest (classical-ish) logic and so the process of brute-force searching for a proof of a smallest axiom by just smashing through them is doable. And his whole deal is brute-force searching to point out the interesting differences between how humans reason and how automated systems reason.
Which is kind of fun, and I can see where he's coming from.
What I find fascinating is that the axiom is so arbitrary and not derivable from NAND.
I wish I understood why Stephen Wolfram is so excited about rediscovering NAND gate logic in 2000 and writing about it in 2018
(I suppose the interesting part is that the simplest possible axiom for NAND / Scheffer Stroke logic is so *big*. That raises a lot of questions, or ought to.)
<< The Wolfram Language is fully symbolic, so "undefined variables" can always just stand for themselves: >>
Hmmmm.. See, I like this idea, but, I don't understand how he makes it work...?
Cos in Prolog, you have undefined variables which most certainly do NOT stand for themselves; because of scoping. They stand for 'unknowns' which are often represented as opaque numbers.
Curious as to how Wolfram solves the problem of passing undefined variables up a scope.
@enkiv2 Ooh, Wolfram Language! I hadn't really looked at this before.
This is exactly the sort of thing I've been banging on about.
<< Everything in the Wolfram Language is a symbolic expression.
numbers strings images arrays graphs formulas documents interfaces code ... >>
Yep! What my 'Term-expressions' are trying to provide a minimal syntax for.
and we're all gonna shine a light together
Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!