As I’ve already explained, Lucid can be understood as functional programming with an added time dimension. What about other dimensions? In particular, what about a space dimension? The late Ed Ashcroft and I discovered this possibility when we tried to … Continue reading
And He took the five loaves and the two fish, and looking up to heaven, He blessed and broke and gave the loaves to the disciples; and the disciples gave to the multitudes. So they all ate and were filled, and … Continue reading
The Liar Paradox is simple enough to explain – is the following statement true or false? This statement is false. If it’s true then it’s false, but if it’s false then it’s true … nothing works. In my not-so-humble opinion, … Continue reading
In the last post there was plenty about Gödel but not much about Grammar and Go-the-game. Time to pay my debt! Basically I said that Gödel’s results proved that no fixed set of facts and rules can on their own form … Continue reading
More than eighty five years ago Kurt Gödel proved, roughly speaking, that no fixed set of a formal facts (like 23+14=37) and rules (like x+y = y+x) can establish the truth or falsity of every theorem about arithmetic over the counting … Continue reading
I’ve already described the relatively simple Monadic Hybrid Calculus that allows you to say simple things formally without bound variables. For example, sG may mean “Socrates is Greek”, [G]M “all Greeks are Mortal”, and the conclusion “Socrates is Mortal”, sM. … Continue reading
A while back I decided that it would easy and useful to video record some lectures. Little did I know!