In the last post we introduced eod (end-of-data), a special sentinel value used to mark the end of a finite Lucid stream. Streams in Lucid are all formally infinite (non terminating) b ...

As I’ve already explained, Lucid can be understood as functional programming with an added time

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 how ...

The theory of quantum electrodynamics describes Nature as absurd from the point of view of common sense. And it agrees fully with experiment. So I hope you can accept Nature as She is – a ...

Taking the five loaves and the two fish and looking up to heaven, he gave thanks and broke the loaves.Then he gave them to the disciples, and the disciples gave them to the people. They ...

When we talk about mathematics, what on earth are we talking about? What exactly is π?

The Liar Paradox is simple enough to explain – is the following statement true or false?

A paradox is an apparent contradiction. Resolving this apparent contradiction can be pretty difficult. Usually, behind this contradiction is a hidden assumption. Behind some of the ...

In the last post there was plenty about Gödel but not much about Grammar and Go-the-game. Time to pay my debt!

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 falsit ...