Back to my roots. Well, my 4th roots. Microsoft Excel.
“Step-indexed Kripke models over recursive worlds.”
“non-monotonic dataflow programming, concurrent logic programming”.
“The Multiple Range Theory of Vagueness” (Diana Raffman).
So far that’s how I’ve been able to categorize it.
Logic can’t beat it.
Math can’t beat it.
Writing alone can’t beat it.
Philosophy can’t beat it.
Physics can’t beat it.
I keep trying but Microsoft Excel beats them all in flexibility, putting most of the responsibility of correctness onto the user.