In the last post we introduced eod (end-of-data), a special sentinel value used to mark the end of a finite Lucid ...

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?

The theory of quantum electrodynamics describes Nature as absurd from the point of view of common sense. And it agre ...

Taking the five loaves and the two fish and looking up to heaven, he gave thanks and broke the loaves.Then he gave t ...

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

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

I’ve already described the relatively simple Monadic Hybrid Calculus that allows you to say simple things formally w ...

OK, “exploratory research” sounds redundant. What else is research other than exploratory?

Back when I was teaching an introduction to computer science course I posted some vintage computer ads and images to ...

A while back I decided that it would easy and useful to video record some lectures. Little did I know!

My French is OK, but at first I had trouble understanding what people were saying in informal conversations. Part of ...

I like true/false and multiple choice exam questions and through my career have thought up hundreds of them. Some ...

One big issue in the logic programming vs functional programming debate is logic programming’s (or at least the orig ...

If you ever took an English course. you learned that “redundancy” is a bad thing.

When I was a young grad student at UC Berkeley, I invented what are now called “Wadge degrees”. Not to mention “Wadg ...

I remember when, a long time ago, Logic Programming was just starting out. The logic programmers would go to the fun ...

The Universal Hybrid Calculus (UHC) is a simple logical formalism that has the power of the monadic predicate calcul ...

I’m back! I got bogged down in teaching, committees, etc and ignored this blog for quite a while. But now I’m offi ...

Besides the development of Lucid, for a long while I’ve been working on another application of intensionality, nam ...

Here is the promised description of the retirement plan mentioned in the Lucid – Eduction post. This description is ...

One way of understanding the problem described in “Into the Abyss” is in terms of the domain of streams being used.