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