### Programming With End-Of-Data

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

### Multidimensional Dataflow

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

### Motor Madness – the Curse of the Auto-Industrial Complex

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

### A Cornucopia of Absurdities – the Mystification of Science

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

### Thanks, Axiom of Choice – the Banach/Tarski Paradox

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

### Where is pi today? The nature of the mathematical universe.

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

### This Post is Meaningless – the Liar Paradox

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

### This Post is False – some paradoxes explained

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

### Gödel, Grammar, Go (II) – the power of facts and rules.

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

### Gödel, Grammar, Go – The Limits of Rules and Facts

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