Category Archives: Uncategorized
Cars kill. Are we going to get rid of our cars? – ‘Judge’ Roy Moore I was sitting in traffic the other day and it occurred to me – wow, their sure are a lot of cars. I wonder … 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!